The following pages link to (Q3575995):
Displaying 23 items.
- Modular construction and partial order semantics of Petri nets (Q396979) (← links)
- Manifest domains: analysis and description (Q520235) (← links)
- Modeling the dynamics of concurrent computing systems (Q552319) (← links)
- Dynamic analysis of Petri net-based discrete systems (Q885347) (← links)
- Using Petri nets to study the life cycles of complex systems (Q1099624) (← links)
- Modeling of information systems by Petri nets (the case of ASPID-7/SM) (Q1112616) (← links)
- The set of models of computer-aided system engineering (case-technology) (Q1287515) (← links)
- Towards a complete conceptual model: Petri nets and entity-relationship diagrams (Q1325855) (← links)
- Application of Petri net theory in development of concurrent engineering (Q2715588) (← links)
- Petri nets for system engineering. A guide to modeling, verification, and applications (Q2740516) (← links)
- Dynamic slicing of Petri nets based on structural dependency graph and its application in system analysis (Q2813985) (← links)
- A Petri nets application in the mobile telephony (Q2919849) (← links)
- Computer-based reduction technique for Petri nets (Q3489470) (← links)
- Coloured Petri Nets (Q3617245) (← links)
- Realization of Petrinets: a system theoretic approach (Q3815190) (← links)
- Pulsed nets, a new graph method of discrete systems modeling (Q3992154) (← links)
- Petri-Netz-Methoden und -Werkzeuge. Hilfsmittel zur Entwurfsspezifikation und -validation von Rechensystemen (Q3995075) (← links)
- Discrete, Continuous, and Hybrid Petri Nets (Q4827468) (← links)
- Understanding Petri Nets (Q4911790) (← links)
- Dynamic Slicing Techniques for Petri Nets (Q4982092) (← links)
- (Q5203704) (← links)
- Petri net based context-aware service modeling and interference discovery (Q5260193) (← links)
- Domain modelling: a foundation for software development (Q6535830) (← links)
