Nested-Unit Petri Nets: A Structural Means to Increase Efficiency and Scalability of Verification on Elementary Nets

DOI10.1007/978-3-319-19488-2_9zbMath1432.68306OpenAlexW2180231313MaRDI QIDQ2941150

Hubert Garavel

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

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 (1)

Nested-unit Petri nets

Uses Software

• NUPN_INFO
• caesar.bdd

Cites Work

• 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
• 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

This page was built for publication: Nested-Unit Petri Nets: A Structural Means to Increase Efficiency and Scalability of Verification on Elementary Nets