Ten Years of Saturation: A Petri Net Perspective

DOI10.1007/978-3-642-29072-5_3zbMath1350.68199OpenAlexW1626572155MaRDI QIDQ2889608

Yang Zhao, Gianfranco Ciardo, Xiao-qing Jin

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)

Related Items (5)

Symbolic Termination and Confluence Checking for ECA Rules ⋮ 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 ⋮ Nested-unit Petri nets ⋮ Efficient Decomposition Algorithm for Stationary Analysis of Complex Stochastic Petri Net Models

Uses Software

• NuSMV
• CADP

This page was built for publication: Ten Years of Saturation: A Petri Net Perspective