Вы здесь

Главная

Petri Nets Tutorial

Связанные издания:

A Conceptual Framework for the Characterization of Petri Net Description Techniques
A Note of Observable Occurrence Nets
A Petri net model of SDL
Applications and Theory of Petri Nets
A Predicate/Transition-Net Model of a Local Area Network Protocol
Computation of Flows for Unary-Predicates/Transitions-Nets
CSP-Programs as Nets with Individual Tokens
Efficient Algorithms for Computing S-invarints for Predicate/Transition Nets
Fairness in Deadlockfree Petri Nets with the Finite Delay Property
Frozen Tokens and D-Continuity: A Study in Relating System Properties to Process Properties
Mazurkiewicz Traces Semantics for Communicating Sequential Processes
Modelling and Validation of Complex Systems by Coloured Petri Nets. Application to a Flexible Manufacturing System
PSI: A Petri Nets Based Simulator for Flexible Manufacturing Systems
Safe States in Banker like Resource Allocation Problems
The Equivalence between the Well Behaved Bipolar Synchronisation Schemes and the Live and Safe Free Choice Nets without Frozen Token
Towards a Net-Theoretic Notion of Type based on Predicate-Transition Nets
Towards Reachability Trees for High-Level Petri Nets
Transformations of Petri Nets