Ten Years of Saturation: A Petri Net Perspective
From MaRDI portal
Publication:2889608
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
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
This page was built for publication: Ten Years of Saturation: A Petri Net Perspective