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