15. APN 1994: Zaragoza, Spain

Robert Valette (Ed.): Application and Theory of Petri Nets 1994, 15th International Conference, Zaragoza, Spain, June 20-24, 1994, Proceedings. Lecture Notes in Computer Science 815 Springer 1994, ISBN 3-540-58152-9 BibTeX

@proceedings{DBLP:conf/apn/1994,
  editor    = {Robert Valette},
  title     = {Application and Theory of Petri Nets 1994, 15th International
               Conference, Zaragoza, Spain, June 20-24, 1994, Proceedings},
  booktitle = {Application and Theory of Petri Nets},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {815},
  year      = {1994},
  isbn      = {3-540-58152-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Papers

Edmund M. Clarke: Automatic Verification of Finite-state Concurrent Systems. 1 BibTeX
Frank DiCesare, Paul T. Kulp, Michael Gile, George List: The Application of Petri Nets to the Modeling, Analysis and Control of Intelligent Urban Traffic Networks. 2-15 BibTeX
José Meseguer, Ugo Montanari, Vladimiro Sassone: On the Model of Computation of Place/Transition Petri Nets. 16-38 BibTeX

Full Papers

Cosimo Anglano, Luigi Portinale: B-W Analysis: A Backward Reachability Analysis for Diagnostic Problem Solving Suitable to Parallel Implementation. 39-58 BibTeX
N. Bennacer, Gerard Florin, C. Fraize, Stéphane Natkin: Probabilistic Validation of a Remote Procedure Call Protocol. 59-78 BibTeX
Gérard Berthelot, Hanifa Boucheneb: Occurrence Graphs for Interval Timed Coloured Nets. 79-98 BibTeX
José Luis Briz, José Manuel Colom: Implementation of Weighted Place/Transition Nets Based on Linear Enabling Functions. 99-118 BibTeX
Peter Buchholz: Hierarchical High Level Petri Nets for Complex System Analysis. 119-138 BibTeX
Giovanni Chiola, Giuliana Franceschinis, Rossano Gaeta: Modeling Symmetric Computer Architectures by SWNs. 139-158 BibTeX
Søren Christensen, Niels Damgaard Hansen: Coloured Petri Nets Extended with Channels for Synchronous Communication. 159-178 BibTeX
Gianfranco Ciardo: Petri Nets with Marking-Dependent Ar Cardinality: Properties and Analysis. 179-198 BibTeX
Jean-Michel Couvreur, Emmanuel Paviot-Adet: New Structural Invariants for Petri Nets Analysis. 199-218 BibTeX
Michel Diaz, Patrick Sénac: Time Stream Petri Nets: A Model for Timed Multimedia Information. 219-238 BibTeX
Cheryl Dietz, Gerlinde Schreiber: A Term Representation of P/T Systems. 239-257 BibTeX
Susanna Donatelli: Superposed Generalized Stochastic Petri Nets: Definition and Efficient Solution. 258-277 BibTeX
Hartmann J. Genrich, Hans-Michael Hanisch, Konrad Wöllhaf: Verification of Recipe-Based Control Procedures by Means of Predicate/Transition Nets. 278-297 BibTeX
Rudolf K. Keller, Marianne Ozkan, Xijin Shen: Towards Comprehensive Support for the Dynamic Analysis of Petri Net Based Models. 298-317 BibTeX
Maciej Koutny: Partial Order Semantics of Box Expressions. 318-337 BibTeX
Charles Lakos, Søren Christensen: A General Systematic Approach to Arc Extensions for Coloured Petri Nets. 338-357 BibTeX
Kurt Lautenbach, Hanno Ridder: Liveness in Bounded Petri Nets Which Are Covered by T-Invariants. 358-375 BibTeX
Kjeld Høyer Mortensen, Valerio O. Pinci: Modelling the Work Flow of a Nuclear Waste Management Program. 376-395 BibTeX
Donna S. Nielsen, Leonard Kleinrock: Data Structures and Algorithms for Extended State Space and Structural Level Reduction of the GSPN Model. 396-415 BibTeX
Enric Pastor, Oriol Roig, Jordi Cortadella, Rosa M. Badia: Petri Net Analysis Using Boolean Manipulation. 416-435 BibTeX
W. Ruckdeschel, Reiner Onken: Modelling of Pilot Behaviour Using Petri Nets. 436-453 BibTeX
Gert Scheschonk, Michael Timpe: Simulation and Analysis of a Document Storage System. 454-470 BibTeX
Christophe Sibertin-Blanc: Cooperative Nets. 471-490 BibTeX
Enrique Teruel, Manuel Silva: Well-Formedness of Equal Conflict Systems. 491-510 BibTeX
Mikko Tiusanen: Symbolic, Symmetry, and Stubborn Set Searches. 511-530 BibTeX
Antti Valmari: Compositional Analysis with Place-Bordered Subnets. 531-547 BibTeX
Kimmo Varpaaniemi: On Combining the Stubborn Set Method with the Sleep Set Method. 548-567 BibTeX
Alexandre Yakovlev, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno: OR Causality: Modelling and Hardware Implementation. 568-587 BibTeX