On generation of state space for timed Petri nets
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
Modeling of discrete event systems: A holistic and incremental approach using Petri nets
ACM Transactions on Modeling and Computer Simulation (TOMACS)
| Hi-index | 0.00 |