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