Combining Structural and Enumerative Techniques for the Validation of Bounded Petri Nets
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Model Validation - A Theoretical Issue?
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
Analyzing Reachability for Some Petri Nets With Fast Growing Markings
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |