default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID15th APN 1994: Zaragoza, Spain
- Robert Valette:
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
- Edmund M. Clarke:
Automatic Verification of Finite-state Concurrent Systems. 1 - Frank DiCesare, Paul T. Kulp, Michael Gile, George F. List
:
The Application of Petri Nets to the Modeling, Analysis and Control of Intelligent Urban Traffic Networks. 2-15 - José Meseguer, Ugo Montanari, Vladimiro Sassone:
On the Model of Computation of Place/Transition Petri Nets. 16-38
Full Papers
- Cosimo Anglano, Luigi Portinale:
B-W Analysis: A Backward Reachability Analysis for Diagnostic Problem Solving Suitable to Parallel Implementation. 39-58 - Nacéra Bennacer, Gerard Florin, Céline 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 - Wilhelm 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 Suárez:
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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-26 07:52 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
