Tutorial on Structured Continuous-Time Markov Processes von Shelton, C. R., Ciardo, G.

Volltext

Workload-aware load balancing for clustered Web servers von Qi Zhang, Riska, A., Sun, W., Smirni, E., Ciardo, G.

Volltext

The ProM Framework: A New Era in Process Mining Tool Support von van Dongen, B. F., de Medeiros, A. K. A., Verbeek, H. M. W., Weijters, A. J. M. M., van der Aalst, W. M. P.

Volltext

EquiLoad: a load balancing policy for clustered web servers von Ciardo, Gianfranco, Riska, Alma, Smirni, Evgenia

Volltext

Genetic Process Mining von van der Aalst, W. M. P., de Medeiros, A. K. Alves, Weijters, A. J. M. M.

Volltext

Discrete-event simulation of fluid stochastic Petri nets von Ciardo, G., Nicol, D.M., Trivedi, K.S.

Volltext

A characterization of the stochastic process underlying a stochastic Petri net von Ciardo, G., German, R., Lindemann, C.

Volltext

High-Level Nets with Nets and Rules as Tokens von Hoffmann, Kathrin, Ehrig, Hartmut, Mossakowski, Till

Volltext

Exact analysis of a class of GI/G/1-type performability models von Riska, A., Smirni, E., Ciardo, G.

Volltext

On the Equivalence Between Liveness and Deadlock-Freeness in Petri Nets von Barkaoui, Kamel, Couvreur, Jean-Michel, Klai, Kais

Volltext

Implicit Representations and Algorithms for the Logic and Stochastic Analysis of Discrete–State Systems von Ciardo, Gianfranco

Volltext

Modeling Multi-valued Genetic Regulatory Networks Using High-Level Petri Nets von Comet, Jean-Paul, Klaudel, Hanna, Liauzu, Stéphane

Volltext

Introduction to the special section on petri nets and performance models von Ciardo, G., German, R., Haverkort, B.R.

Volltext

Timed-Arc Petri Nets vs. Networks of Timed Automata von Srba, Jiří

Volltext

Modeling Dynamic Architectures Using Nets-Within-Nets von Cabac, Lawrence, Duvigneau, Michael, Moldt, Daniel, Rölke, Heiko

Volltext

What a structural world [structural decomposition] von Ciardo, G.

Volltext

Approximate transient analysis for subclasses of deterministic and stochastic Petri nets von Ciardo, Gianfranco, Li, Guangzhi

Volltext

Towards an algebra for security policies von PINCUS, Jon, WING, Jeannette M

Volltext

Achieving a General, Formal and Decidable Approach to the OR-Join in Workflow Using Reset Nets von Wynn, Moe Thandar, Edmond, David, van der Aalst, W. M. P., ter Hofstede, A. H. M.

Volltext

Performability analysis using semi-Markov reward processes von Ciardo, G., Marie, R.A., Sericola, B., Trivedi, K.S.

Volltext