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 BibTeX

@proceedings{DBLP:conf/apn/1992,
  editor    = {Kurt Jensen},
  title     = {Application and Theory of Petri Nets 1992, 13th International
               Conference, Sheffield, UK, June 22-26, 1992, Proceedings},
  booktitle = {Application and Theory of Petri Nets},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {616},
  year      = {1992},
  isbn      = {3-540-55676-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Papers

Gianfranco Balbo: Performance Issues in Parallel Programming. 1-23 BibTeX
Wolfgang Reisig: Combining Petri Nets and Other Formal Methods. 24-44 BibTeX

Submitted Papers

C. Autant, Ph. Schnoebelen: Place Bisimulations in Petri Nets. 45-61 BibTeX
Kamel Barkaoui, Michel Minoux: A Polynomial-Time Graph Algorithm to Decide Liveness of Some Basic Classes of Bounded Petri Nets. 62-75 BibTeX
Carolyn Brown, Doug Gurr: Refinement and Simulation of Nets - A Categorical Characterisation. 76-92 BibTeX
Giorgio Bruno, Andrea Castella, Gianpaolo Macario, Mario P. Pescarmona: Scheduling Hard Real Time Systems Using High-Level Petri Nets. 93-112 BibTeX
Søren Christensen, Laure Petrucci: Towards a Modular Analysis of Coloured Petri Nets. 113-133 BibTeX
Jörg Desel: A Proof of the Rank Theorem for Extended Free Choice Nets. 134-153 BibTeX
Susanna Donatelli, Matteo Sereno: On the Product Form Solution for Stochastic Petri Nets. 154-172 BibTeX
Greg Findlow: Obtaining Deadlock-Preserving Skeletons for Coloured Nets. 173-192 BibTeX
Hans Fleischhack: P-Superfairness in Nets. 193-204 BibTeX
Hartmann J. Genrich, Robert M. Shapiro: Formal Verification of an Arbiter Cascade. 205-223 BibTeX
Carlos A. Heuser, Gernot Richter: Constructs for Modeling Information Systems with Petri Nets. 224-243 BibTeX
Kunihiko Hiraishi: Construction of a Class of Safe Petri Nets by Presenting Firing Sequences. 244-262 BibTeX
Peter Kemper, Falko Bause: An Efficient Polynomial-Time Algorithm to Decide Liveness and Boundedness of Free-Choice Nets. 263-278 BibTeX
Guenter Klas: Hierarchical Solution of Generalized Stochastic Petri Nets by Means of Traffic Processes. 279-298 BibTeX
Andrei Kovalyov: Concurrency Relations and the Safety Problem for Petri Nets. 299-309 BibTeX
Johan Lilius: High-Level Nets and Linear Logic. 310-327 BibTeX
Vanio M. Savi, Xiaolan Xie: Liveness and Boundedness Analysis for Petri Nets with Event Graph Modules. 328-347 BibTeX
Enrique Teruel, Piotr Chrzastowski-Wachtel, José Manuel Colom, Manuel Silva: On Weighted T-Systems. 348-367 BibTeX

Project Papers

Geoff Cutts, Shaun Rattigan: Using Petri Nets to Develop Programs for PLC Systems. 368-372 BibTeX
K. Lemmer, Eckehard Schnieder: Modelling and Control of Complex Logistic Systems for Manufacturing. 373-378 BibTeX
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 BibTeX
William W. McLendon Jr., Richard F. Vidale: Analysis of an Ada System Using Coloured Petri Nets and Occurrence Graphs. 384-388 BibTeX
Kimmo Varpaaniemi, Marko Rauhamaa: The Stubborn Set Method in Practice. 389-393 BibTeX
Linda Wilkens, James Canning, Patrick D. Krolak: Modeling Fine Grain Computation via the Fusion of Two Extended Petri Nets. 394-398 BibTeX

Acknowledgement: The information on this page was contributed by Ph. Schnoebelen.