A petri net reduction algorithm for protocol analysis
SIGCOMM '86 Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols
Compositional Petri Net Approach to the Development of Concurrent and Distributed Systems
Programming and Computing Software
From many places to few: automatic abstraction refinement for Petri nets
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
Syntactical colored petri nets reductions
ATVA'05 Proceedings of the Third international conference on Automated Technology for Verification and Analysis
| Hi-index | 0.00 |