14. APN 1993: Chicago, Illinois, USA
Marco Ajmone Marsan (Ed.):
Application and Theory of Petri Nets 1993, 14th International Conference, Chicago, Illinois, USA, June 21-25, 1993, Proceedings.
Lecture Notes in Computer Science 691 Springer 1993, ISBN 3-540-56863-8
Invited Papers
Full Papers
- José A. Bañares, Pedro R. Muro-Medrano, J. L. Villarroel:
Taking Advantages of Temporal Redundancy in High Level Petri Nets Implementations.
32-48
- Michel Barbeau, Gregor von Bochmann:
A Subset of Lotos with the Computational Power of Place/Transition-Nets.
49-68
- Kamel Barkaoui, Claude Dutheillet, Serge Haddad:
An Efficient Algorithm for Finding Structural Deadlocks in Colored Petri Nets.
69-88
- Luca Bernardinello:
Synthesis of Net Systems.
89-105
- Peter Buchholz:
Hierarchies in Colored GSPNs.
106-125
- Tiehua Cao, Arthur C. Sanderson:
Variable Reasoning and Analysis about Uncertainty with Fuzzy Petri Nets.
126-145
- Giovanni Chiola, Alois Ferscha:
Distributed Simulation of Timed Petri Nets: Exploiting the Net Structure to Obtain Efficiency.
146-165
- Hoon Choi, Vidyadhar G. Kulkarni, Kishor S. Trivedi:
Transient Analysis of Deterministic and Stochastic Petri Nets.
166-185
- Søren Christensen, Niels Damgaard Hansen:
Coloured Petri Nets Extended with Place Capacities, Test Arcs and Inhibitor Arcs.
186-205
- Yi Deng, Shi-Kuo Chang, Jorge C. A. de Figueiredo, Angelo Perkusich:
Integrating Software Engineering Methods and Petri Nets for the Specification and Prototyping of Complex Information Systems.
206-223
- Jörg Desel, Javier Esparza:
Shortest Paths in Reachability Graphs.
224-241
- Raymond R. Devillers:
Construction of S-invariants and S-components for Refined Petri Boxes.
242-261
- Dominik Gomm, Ekkart Kindler, Barbara Paech, Rolf Walter:
Compositional Liveness Properties of EN-Systems.
262-281
- Hans-Michael Hanisch:
Analysis of Place/Transition Nets with Timed Arcs and its Application to Batch Process Control.
282-299
- Jean-Michel Ilié, Omar Rojas:
On Well-Formed Nets and Optimizations in Enabling Tests.
300-318
- Peter Kemper:
Linear Time Algorithm to Find a Minimal Deadlock in a Strongly Connected Free-Choice Net.
319-338
- Luigi Portinale:
Exploiting T-invariant Analysis in Diagnostic Reasoning on a Petri Net Model.
339-356
- Nathalie Sauer, Xiaolan Xie:
Marking Optimization of Stochastic Timed Event Graphs.
357-376
- Christophe Sibertin-Blanc:
A Client-Server Protocol for the Composition of Petri Nets.
377-396
- C. R. M. Sundaram, Y. Narahari:
Analysis of Dynamic Load Balancing Strategies Using a Combination of Stochastic Petri Nets and Queueing Networks.
397-414
- Enrique Teruel, Manuel Silva:
Liveness and Home States in Equal Conflict Systems.
415-432
- Rüdiger Valk:
Bridging the Gap Between Place- and Floyd-Invariants with Applications to Preemptive Scheduling.
433-452
- Wil M. P. van der Aalst:
Interval Timed Coloured Petri Nets and their Analysis.
453-472
- Chang-Yu Wang, Kishor S. Trivedi:
Integration of Specification for Modeling and Specification for System Design.
473-492
- Toshimasa Watanabe, Masahiro Yamauchi:
New Priority-Lists for Scheduling in Timed Petri Nets.
493-512
- Hsu-Chun Yen, Bow-Yaw Wang, Ming-Sheng Yang:
A Unified Approach for Reasoning about Conflict-Free Petri Nets.
513-531
Project Papers
Copyright © Sun Nov 15 04:07:34 2009
by Michael Ley (ley@uni-trier.de)