12. APN 1991: Gjern, Denmark

Grzegorz Rozenberg (Ed.): Advances in Petri Nets 1993, Papers from the 12th International Conference on Applications and Theory of Petri Nets, Gjern, Denmark, June 1991. Lecture Notes in Computer Science 674 Springer 1993, ISBN 3-540-56689-9 BibTeX

@proceedings{DBLP:conf/apn/1991,
  editor    = {Grzegorz Rozenberg},
  title     = {Advances in Petri Nets 1993, Papers from the 12th International
               Conference on Applications and Theory of Petri Nets, Gjern, Denmark,
               June 1991},
  booktitle = {Applications and Theory of Petri Nets},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {674},
  year      = {1993},
  isbn      = {3-540-56689-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Ghassan Chehaibar: Replacement of Open Interface Subnets and Stable State Transformation Equivalence. 1-25 BibTeX
Ludmila Cherkasova, Rodney R. Howell, Louis E. Rosier: Bounded Self-Stabilizing Petri Nets. 26-50 BibTeX
Jean-Michel Couvreur, Serge Haddad, J. F. Peyre: Generative Families of Positive Invariants in Coloured Nets Sub-Classes. 51-70 BibTeX
René David, Hassane Alla: Autonomous And Timed Continous Petri Nets. 71-90 BibTeX
John B. Evans: The Devnet: a Petri Net for Discrete Event Simulation. 91-125 BibTeX
Joaquin Ezpeleta, Jean-Michel Couvreur, Manuel Silva: A New Technique for Finding a Generating Family of Siphons, Traps and st-Components. Application to Colored Petri Nets. 126-147 BibTeX
Rainer Fehling: A Concept of Hierarchical Petri Nets with Building Blocks. 148-168 BibTeX
Frits Feldbrugge: Petri Net Tool Overview 1992. 169-209 BibTeX
Alain Finkel: The Minimal Coverability Graph for Petri Nets. 210-243 BibTeX
Roberto Gorrieri, Ugo Montanari: Distributed Implementation of CCS. 244-266 BibTeX
R. Gouet, F. Plo, M. San Miguel, Bernard Ycart: Saturation Conditions For Stochastic Petri Nets. 267-280 BibTeX
S. Lafitt, J. M. Proth, X. L. Xie: Marking Optimization In Timed Event Graphs. 281-300 BibTeX
Markus Lindquist: Parameterized Reachability Trees for Predicate/Transition Nets. 301-324 BibTeX
Yao Li, C. Murray Woodside: Iterative Decomposition and Aggregation of Stochastic Marked Graph Petri Nets. 325-349 BibTeX
Giorgio De Michelis: Constraints and Extensions in a Calculus of EN Systems. 350-370 BibTeX
Einar Smith: Comparability Orders and Measurement. 371-405 BibTeX
Younes Souissi: Deterministic Systems of Sequential Processes: a class of structured Petri nets. 406-426 BibTeX
Antti Valmari: Compositional State Space Generation. 427-457 BibTeX