For the most recent entries see the
Petri Nets Newsletter.
Keyword: state-space
-
Gardey, Guillaume;
Lime, Didier;
Magnin, Morgan;
Roux, Olivier (H.):
Romeo: A Tool for Analyzing Time Petri Nets.
2005.
-
Valentin-Roubinet, C.:
Hybrid Systems modelling: Mixed Petri Nets.
1999.
-
Janicki, Ryszard;
Koutny, Maciej:
Optimal Simulations, Nets and Reachability Graphs.
1991.
-
Paech, Barbara:
Concurrency as a Modality.
1991.
-
Ehrenfeucht, A.;
Rozenberg, G.:
Partial (Set) 2-Structures. I. Basic Notions and the Representation Problem.
1990.
-
Valmari, Antti:
Compositional State Space Generation.
1990.
-
Wu, Tie Jun;
Lu, Yong Zai:
Stability Analysis of Discrete Event Dynamic Systems.
1990.
-
Sieh, J.H.;
Ucci, D.R.:
Superposition Technique for the Generalised Stochastic Petri Net Modelling of Degradable Systems.
1990.
-
Hoogeboom, H.J.;
Rozenberg, G.:
Diamond Properties of State Spaces of Elementary Net Systems.
1989.
-
Zuberek, W.M.:
On Generation of State Space for Timed Nets.
1988.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography