Minimizing the number of successor states in the stubborn set method
Fundamenta Informaticae
On Stubborn Sets in the Verification of Linear Time Temporal Properties
Formal Methods in System Design
A Petri Nets based functional validation for services composition
Expert Systems with Applications: An International Journal
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
Generating Petri net state spaces
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
A reachability algorithm for general petri nets based on transition invariants
MFCS'06 Proceedings of the 31st international conference on Mathematical Foundations of Computer Science
Analysis of the Petri net model of parallel manufacturing processes with shared resources
Information Sciences: an International Journal
Stubborn sets for simple linear time properties
PETRI NETS'12 Proceedings of the 33rd international conference on Application and Theory of Petri Nets
Minimizing the Number of Successor States in the Stubborn Set Method
Fundamenta Informaticae - Concurrency Specification and Programming Workshop (CS&P'2001)
Hi-index | 0.01 |