14. APN 1993: Chicago, Illinois, USA
Raymond R. Devillers
: Construction of S-invariants and S-components for Refined Petri Boxes.
: Analysis of Place/Transition Nets with Timed Arcs and its Application to Batch Process Control.
: Linear Time Algorithm to Find a Minimal Deadlock in a Strongly Connected Free-Choice Net.
: Exploiting T-invariant Analysis in Diagnostic Reasoning on a Petri Net Model.
C. R. M. Sundaram
, Y. Narahari
: Analysis of Dynamic Load Balancing Strategies Using a Combination of Stochastic Petri Nets and Queueing Networks.
: Bridging the Gap Between Place- and Floyd-Invariants with Applications to Preemptive Scheduling.
, Heinz Dibold
: Petri Net Based Specifications of Services in an Intelligent Network - Experiences gained from a Test Case Application.
: Protocol Optimization for a Packet-Switched Bus in Case of Burst Traffic by Means of GSPN.