Model checking using net unfoldings

DOI10.1007/3-540-56610-4_93MaRDI QIDQ5044767zbMATH OpenOpenAlexFDO

Authors Javier Esparza

Publication date 2 November 2022

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-56610-4_93

Mathematics Subject Classification ID

Temporal logic (03B44) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Model checking using net unfoldings
• scientific article; zbMATH DE number 1744959
• scientific article; zbMATH DE number 1759626
• scientific article; zbMATH DE number 1863174
• A technique of state space search based on unfolding

Cites work

• A polynomial time algorithm to decide pairwise concurrency of transitions for 1-bounded conflict-free Petri nets
• Branching processes of Petri nets
• scientific article; zbMATH DE number 4096790 (Why is no real title available?)
• scientific article; zbMATH DE number 4096792 (Why is no real title available?)
• scientific article; zbMATH DE number 193318 (Why is no real title available?)
• scientific article; zbMATH DE number 408787 (Why is no real title available?)
• scientific article; zbMATH DE number 3325547 (Why is no real title available?)
• Petri nets, event structures and domains. I

Cited in

(10)

• Model checking using net unfoldings
• Unfoldings: A partial-order approach to model checking.
• scientific article; zbMATH DE number 1670845 (Why is no real title available?)
• scientific article; zbMATH DE number 1696453 (Why is no real title available?)
• scientific article; zbMATH DE number 1755148 (Why is no real title available?)
• scientific article; zbMATH DE number 1759606 (Why is no real title available?)
• scientific article; zbMATH DE number 1798186 (Why is no real title available?)
• A structural approach for the analysis of Petri nets by reduced unfoldings
• A class of composable high level Petri nets
• The asynchronous committee meeting problem

This page was built for publication: Model checking using net unfoldings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5044767)