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. Springer 1993 Lecture Notes in Computer Science ISBN 3-540-56863-8
Invited Papers
- Manuel Silva: Interleaving Functional and Performance Structural Analysis of Net Models. 17-23
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
- 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
- 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
- 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
- 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
- J. Berger, Luc Lamontagne: A Colored Petri Net Model for a Naval Command and Control System. 532-541
- Carla Capellmann, Heinz Dibold: Petri Net Based Specifications of Services in an Intelligent Network - Experiences gained from a Test Case Application. 542-551
- Ludmila Cherkasova, Vadim E. Kotov, Tomas Rokicki: On Net Modeling of Industrial Size Concurrent Systems. 552-561
- David A. Hartley, David M. Harvey: Analysis of the TMS320C40 Communication Channels Using Timed Petri Nets. 562-571
- Guenter Klas: Protocol Optimization for a Packet-Switched Bus in Case of Burst Traffic by Means of GSPN. 572-581
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team