Ten years of saturation: a Petri net perspective

DOI10.1007/978-3-642-29072-5_3MaRDI QIDQ2889608zbMATH OpenOpenAlexFDO

Authors Gianfranco Ciardo, Xiao-Qing Jin, Yang Zhao

Publication date 8 June 2012

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-29072-5_3

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

• Getting the priorities right: saturation for prioritised Petri nets
• Symbolic Reachability Analysis of Integer Timed Petri Nets
• scientific article; zbMATH DE number 3922334
• Applications and Theory of Petri Nets 2004
• P-Semiflow Computation with Decision Diagrams

Cited in

(8)

• Nested-unit Petri nets
• Saturation Enhanced with Conditional Locality: Application to Petri Nets
• Getting the priorities right: saturation for prioritised Petri nets
• P-Semiflow Computation with Decision Diagrams
• Nested-unit Petri nets: a structural means to increase efficiency and scalability of verification on elementary nets
• New search strategies for the Petri net CEGAR approach
• Efficient decomposition algorithm for stationary analysis of complex stochastic Petri net models
• Symbolic termination and confluence checking for ECA rules

Describes a project that uses

Uses Software

• NuSMV
• CADP

This page was built for publication: Ten years of saturation: a Petri net perspective

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