17. APN 1996: Osaka, Japan
: Modeling Concurrent Systems: Actors, Nets, and the Problem of Abstraction and Composition.
: Temporal Uncertainty and Fuzzy-Timing High-Level Petri Nets.
: Compositionality in State Space Verification Methods.
: A Formal Definition of Hierarchical Predicate Transition Nets.
: Reducted State Space Representation for Unbounded Vector State Spaces.
: Reachability Analysis Based on Structured Representations.
: A New Iterative Numerical Solution Algorithm for a Class of Stochastic Petri Nets.
: An O(|S|×|T|)- Algorithm to Verify if a Net is Regular.
: The Consistent Use of Names and Polymorphism in the Definition of Object Petri Nets.
, Lilin Liu
, Zhanqiu Dong
: Performance Analysis of a Connection Management Scheme in IWU Interconnecting LANs Across ATM Networks.