Using partial-order semantics to avoid the state explosion problem in asynchronous systems
Lecture notes in computer science2005pp. 146–155
Citations Over Time
Related Papers
- → Event-based modelling of ecological systems with asynchronous cellular automata(1998)53 cited
- → Determinization of timed Petri nets behaviors(2015)13 cited
- → Structural Model Checking for Communicating Hierarchical Machines(2004)6 cited
- → On transforming Petri net model to Moore machine(2002)2 cited
- Theory and applications of resource control Petri nets for automated manufacturing systems(1992)