Вы здесь

Главная

Application and Theory of Petri Nets

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

About the concurrent behaviour of EN systems: definability and closure results
A comparative study of different technics of semi-flows computation in High Level Nets
A Petri Net-Based Expert System for Flexible Manufacturing Management
Checking Database Integrity Constraints while Simulating Information System Behaviour
Descriptive and Analytical Process Algebras
Elementary Net Systems and Dynamic Logic
Equivalence Transformations of PrT-Nets
Error Detection by Reduced Reachability Graph Generation
Formal Specification and Analysis of Communication Protocols using NPNs
Improving the Efficiency of the Analysis of DSPN Models
Introducing a Color Formalism into Generalized Stochastic Petri Nets
Modelling Interactions in Locking Systems with Petri-Nets
Multiprocessor System Architecture for the Execution of Higher Petri Nets
On Common Structures of Petri Nets and Data Flow Graphs
Petri Nets Initial Algebra Semantics Approach. Part 1
Polynomial Time Proof or Disproof of Commoner s Structural Property in Petri Nets
PROTOB Object-Oriented Graphical Modelling and Programming Based on PROT Nets
P/T-systems as abstractions of C/E-systems
Remarks on Timed Nets
Synchronized Condition / Event Systems
System Engineering and Nets
Timed Petri Nets and Application to Multi-stage Production Systems