Volume 43, Number 1-4, July - August 2000
: A Multi-region Linear Logic Based Calculus for Dynamic Petri Net Structures.
: A Formalization of Autonomous Dynamic Reconfiguration in Distributed Constraint Satisfaction.
Irina A. Lomazova
: Nested Petri Nets - a Formalism for Specification and Verification of Multi-Agent Distributed Systems.
: Analyzing and Reducing Simultaneous Firing in Signal-Event Nets.
: Stubborn Sets for Model Checking the EF/AG Fragment of CTL.