Partial order verification with PEP

Using Logic Programs with Stable Model Semantics to Solve Deadlock and Reachability Problems for 1-Safe Petri Nets

TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems

Model Checking of Time Petri Nets Based on Partial Order Semantics

CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory

Model Checking with Finite Complete Prefixes Is PSPACE-Complete

CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory

A Compositional Petri Net Semantics for SDL

ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets

Detection of Illegal Behaviors Based on Unfoldings

Proceedings of the 20th International Conference on Application and Theory of Petri Nets

Computing a Finite Prefix of a Time Petri Net

ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets

System Specification and Verification Using High Level Concepts - A Tool Demonstration

Proceedings of the 9th International SPIN Workshop on Model Checking of Software

Low-Latency Contro Structures with Slack

ASYNC '03 Proceedings of the 9th International Symposium on Asynchronous Circuits and Systems

Safety Properties In Petri Net Modules

Journal of Integrated Design & Process Science

Hierarchical timed high level nets and their branching processes

ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets

Using Logic Programs with Stable Model Semantics to Solve Deadlock and Reachability Problems for 1-Safe Petri Nets

Fundamenta Informaticae