13. APN 1992: Sheffield, UK
Kurt Jensen (Ed.):
Application and Theory of Petri Nets 1992, 13th International Conference, Sheffield, UK, June 22-26, 1992, Proceedings.
Lecture Notes in Computer Science 616 Springer 1992, ISBN 3-540-55676-1 
Invited Papers
Submitted Papers
- C. Autant, Ph. Schnoebelen:
Place Bisimulations in Petri Nets.
45-61
- Kamel Barkaoui, Michel Minoux:
A Polynomial-Time Graph Algorithm to Decide Liveness of Some Basic Classes of Bounded Petri Nets.
62-75
- Carolyn Brown, Doug Gurr:
Refinement and Simulation of Nets - A Categorical Characterisation.
76-92
- Giorgio Bruno, Andrea Castella, Gianpaolo Macario, Mario P. Pescarmona:
Scheduling Hard Real Time Systems Using High-Level Petri Nets.
93-112
- Søren Christensen, Laure Petrucci:
Towards a Modular Analysis of Coloured Petri Nets.
113-133
- Jörg Desel:
A Proof of the Rank Theorem for Extended Free Choice Nets.
134-153
- Susanna Donatelli, Matteo Sereno:
On the Product Form Solution for Stochastic Petri Nets.
154-172
- Greg Findlow:
Obtaining Deadlock-Preserving Skeletons for Coloured Nets.
173-192
- Hans Fleischhack:
P-Superfairness in Nets.
193-204
- Hartmann J. Genrich, Robert M. Shapiro:
Formal Verification of an Arbiter Cascade.
205-223
- Carlos A. Heuser, Gernot Richter:
Constructs for Modeling Information Systems with Petri Nets.
224-243
- Kunihiko Hiraishi:
Construction of a Class of Safe Petri Nets by Presenting Firing Sequences.
244-262
- Peter Kemper, Falko Bause:
An Efficient Polynomial-Time Algorithm to Decide Liveness and Boundedness of Free-Choice Nets.
263-278
- Guenter Klas:
Hierarchical Solution of Generalized Stochastic Petri Nets by Means of Traffic Processes.
279-298
- Andrei Kovalyov:
Concurrency Relations and the Safety Problem for Petri Nets.
299-309
- Johan Lilius:
High-Level Nets and Linear Logic.
310-327
- Vanio M. Savi, Xiaolan Xie:
Liveness and Boundedness Analysis for Petri Nets with Event Graph Modules.
328-347
- Enrique Teruel, Piotr Chrzastowski-Wachtel, José Manuel Colom, Manuel Silva:
On Weighted T-Systems.
348-367
Project Papers
- Geoff Cutts, Shaun Rattigan:
Using Petri Nets to Develop Programs for PLC Systems.
368-372
- K. Lemmer, Eckehard Schnieder:
Modelling and Control of Complex Logistic Systems for Manufacturing.
373-378
- Jean Christophe Lloret, J. L. Roux, B. Algayres, M. Chamontin:
Modelling and Evaluation of a Satellite System Using EVAL*, a Petri Net Based Industrial Tool.
379-383
- William W. McLendon Jr., Richard F. Vidale:
Analysis of an Ada System Using Coloured Petri Nets and Occurrence Graphs.
384-388
- Kimmo Varpaaniemi, Marko Rauhamaa:
The Stubborn Set Method in Practice.
389-393
- Linda Wilkens, James Canning, Patrick D. Krolak:
Modeling Fine Grain Computation via the Fusion of Two Extended Petri Nets.
394-398
Last update Wed Feb 15 04:54:28 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
