Decompositional Petri Net Reductions

DOI10.1007/978-3-642-00255-7_24MaRDI QIDQ3605479zbMATH OpenOpenAlexFDO

Authors Astrid Rakow

Publication date 24 February 2009

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

Full work available at URL https://doi.org/10.1007/978-3-642-00255-7_24

Mathematics Subject Classification ID

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

• scientific article; zbMATH DE number 1852166
• An Incremental and Modular Technique for Checking LTL∖X Properties of Petri Nets
• scientific article; zbMATH DE number 1696466
• Simplification of CTL formulae for efficient model checking of Petri nets
• Applications and Theory of Petri Nets 2004

Cites work

• An Incremental and Modular Technique for Checking LTL∖X Properties of Petri Nets
• Computer Aided Verification
• Decompositional Petri Net Reductions
• Free Choice Petri Nets
• scientific article; zbMATH DE number 1646978 (Why is no real title available?)
• scientific article; zbMATH DE number 1696466 (Why is no real title available?)
• scientific article; zbMATH DE number 3980500 (Why is no real title available?)
• scientific article; zbMATH DE number 1354143 (Why is no real title available?)
• scientific article; zbMATH DE number 1744959 (Why is no real title available?)
• scientific article; zbMATH DE number 1852166 (Why is no real title available?)
• scientific article; zbMATH DE number 2203240 (Why is no real title available?)
• Slicing Petri Nets with an Application to Workflow Verification

Cited in

(13)

• On the combination of polyhedral abstraction and SMT-based model checking for Petri nets
• Factorisation of Petri net solvable transition systems
• Simplification of CTL formulae for efficient model checking of Petri nets
• Union decomposition of Petri net
• scientific article; zbMATH DE number 1696466 (Why is no real title available?)
• PATH DECOMPOSITION AND SEMILINEARITY OF PETRI NETS
• Decompositional Petri Net Reductions
• An Incremental and Modular Technique for Checking LTL∖X Properties of Petri Nets
• scientific article; zbMATH DE number 1852166 (Why is no real title available?)
• Structural reductions revisited
• scientific article; zbMATH DE number 5587264 (Why is no real title available?)
• CONCUR 2004 - Concurrency Theory
• Slicing Petri Nets with an Application to Workflow Verification

Describes a project that uses

Uses Software

• Punf

This page was built for publication: Decompositional Petri Net Reductions

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