default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID13th APN 1992: Sheffield, UK
- Kurt Jensen:
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
- Gianfranco Balbo:
Performance Issues in Parallel Programming. 1-23 - Wolfgang Reisig:
Combining Petri Nets and Other Formal Methods. 24-44
Submitted Papers
- Cyril Autant, Philippe 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 Suárez:
On Weighted T-Systems. 348-367
Project Papers
- Geoff Cutts, Shaun Rattigan:
Using Petri Nets to Develop Programs for PLC Systems. 368-372 - Karsten 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
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 2024-11-15 19:20 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:
