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
Copyright © Sat May 16 22:58:13 2009
by Michael Ley (ley@uni-trier.de)