search
search
reviewers
reviewers
feeds
feeds
assignments
assignments

settings
logout

Applications and Theory of Petri Nets

Keyphrases

Publications

volume 674, 1993

Advances in Petri Nets 1993, Papers from the 12th International Conference on Applications and Theory of Petri Nets, Gjern, Denmark, June 1991 Applications and Theory of Petri Nets 674 (1993)

1991

R. Gouet, F. Plo, M. San Miguel, Bernard Ycart
Saturation Conditions For Stochastic Petri Nets. Applications and Theory of Petri Nets (1991)
Yao Li, C. Murray Woodside
Iterative Decomposition and Aggregation of Stochastic Marked Graph Petri Nets. Applications and Theory of Petri Nets (1991)
John B. Evans
The Devnet: a Petri Net for Discrete Event Simulation. Applications and Theory of Petri Nets (1991)
Antti Valmari
Compositional State Space Generation. Applications and Theory of Petri Nets (1991)
Roberto Gorrieri, Ugo Montanari
Distributed Implementation of CCS. Applications and Theory of Petri Nets (1991)
Einar Smith
Comparability Orders and Measurement. Applications and Theory of Petri Nets (1991)
René David, Hassane Alla
Autonomous And Timed Continous Petri Nets. Applications and Theory of Petri Nets (1991)
Rainer Fehling
A Concept of Hierarchical Petri Nets with Building Blocks. Applications and Theory of Petri Nets (1991)
Jean-Michel Couvreur, Serge Haddad, Jean-François Pradat-Peyre
Generative Families of Positive Invariants in Coloured Nets Sub-Classes. Applications and Theory of Petri Nets (1991)
Ghassan Chehaibar
Replacement of Open Interface Subnets and Stable State Transformation Equivalence. Applications and Theory of Petri Nets (1991)
Younes Souissi
Deterministic Systems of Sequential Processes: a class of structured Petri nets. Applications and Theory of Petri Nets (1991)
Giorgio De Michelis
Constraints and Extensions in a Calculus of EN Systems. Applications and Theory of Petri Nets (1991)
Alain Finkel
The Minimal Coverability Graph for Petri Nets. Applications and Theory of Petri Nets (1991)
S. Lafitt, Jean-Marie Proth, Xiaolan Xie
Marking Optimization In Timed Event Graphs. Applications and Theory of Petri Nets (1991)
Markus Lindquist
Parameterized Reachability Trees for Predicate/Transition Nets. Applications and Theory of Petri Nets (1991)
Frits Feldbrugge
Petri Net Tool Overview 1992 Applications and Theory of Petri Nets (1991)
Ludmila Cherkasova, Rodney R. Howell, Louis E. Rosier
Bounded Self-Stabilizing Petri Nets. Applications and Theory of Petri Nets (1991)
Joaquin Ezpeleta, Jean-Michel Couvreur, Manuel Silva Suárez
A New Technique for Finding a Generating Family of Siphons, Traps and st-Components. Application to Colored Petri Nets. Applications and Theory of Petri Nets (1991)

volume 524, 1991

Advances in Petri Nets 1991, Papers from the 11th International Conference on Applications and Theory of Petri Nets, Paris, France, June 1990 Applications and Theory of Petri Nets 524 (1991)

volume 483, 1991

Advances in Petri Nets 1990 [10th International Conference on Applications and Theory of Petri Nets, Bonn, Germany, June 1989, Proceedings] Applications and Theory of Petri Nets 483 (1991)

1990

volume 424, 1990

Advances in Petri Nets 1989, covers the 9th European Workshop on Applications and Theory in Petri Nets, held in Venice, Italy in June 1988, selected papers Applications and Theory of Petri Nets 424 (1990)

1989