14. APN 1993: Chicago, Illinois, USA

Invited Papers

• Clarence A. Ellis, Gary J. Nutt:
  Modeling and Enactment of Workflow Systems. 1-16
  
• Manuel Silva:
  Interleaving Functional and Performance Structural Analysis of Net Models. 17-23
  
• Kishor S. Trivedi, Vidyadhar G. Kulkarni:
  FSPNs: Fluid Stochastic Petri Nets. 24-31
  

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

• 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
  
• Qian Zhang, Herbert Grünbacher:
  Petri Nets Modeling in Pipelined Microprocessor Design. 582-591
  

Last update Tue May 22 23:22:46 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page