Compositional Design and Verification of Communication Protocols, Using Labelled Petri Nets
Abstract elided by the publisher.
Related papers
- Design/CPN - A Computer Tool for Coloured Petri Nets TACAS 1997
- Compositional Verification of Concurrent Systems Using Petri-Net-Based Condensation Rules TOPLAS 1998
- Verification of Concurrent Programs Using Petri Net Unfoldings VMCAI 2021
- Incremental, Inductive Coverability CAV 2013
- The Lotos Model of a Fault Protected System and its Verification Using a Petri Net Based Approach CAV 1991
- Fast Termination and Workflow Nets CAV 2023
- Compositional Design, Implementation, and Verification of Swarms ECOOP 2026
- Checking Qualitative Liveness Properties of Replicated Systems with Stochastic Scheduling CAV 2020