Nested-Unit Petri Nets: A Structural Means to Increase Efficiency and Scalability of Verification on Elementary Nets
From MaRDI portal
Publication:2941150
DOI10.1007/978-3-319-19488-2_9zbMath1432.68306MaRDI QIDQ2941150
Publication date: 27 August 2015
Published in: Application and Theory of Petri Nets and Concurrency (Search for Journal in Brave)
Full work available at URL: https://hal.inria.fr/hal-01142198/file/main.pdf
68Q60: Specification and verification (program logics, model checking, etc.)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Uses Software
Cites Work
- On the implementation of concurrent calculi in net calculi: two case studies
- State space reduction for process algebra specifications
- A method for stepwise refinement and abstraction of Petri nets
- Statecharts: a visual formalism for complex systems
- A distributed operational semantics of CCS based on condition/event systems
- Representing CCS programs by finite predicate-transition nets
- Finite representations of CCS and TCSP programs by automata and Petri nets
- Analysis of Petri nets by stepwise refinements
- Axiomatizing CCS, nets and processes
- Flow models of distributed computations: Three equivalent semantics for CCS
- Petri net algebra
- The box algebra = Petri nets + process expressions
- S-invariant analysis of general recursive Petri boxes
- Ten Years of Saturation: A Petri Net Perspective
- An Algebra of Non-safe Petri Boxes
- CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes
- Building Efficient Model Checkers using Hierarchical Set Decision Diagrams and Automatic Saturation
- Nets, Terms and Formulas
- A formal definition of hierarchical predicate transition nets
- Petri Nets as Token Objects
- Lectures on Concurrency and Petri Nets
- Applications and Theory of Petri Nets 2004
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
