Petri net analysis using invariant generation

DOI10.1007/B12001MaRDI QIDQ5305662zbMATH OpenOpenAlexFDO

Authors Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna

Publication date 23 March 2010

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b12001

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Invariant-preserving Petri net reduction and conditions for invariant- existence
• Computing parameterized invariants of parameterized Petri nets
• scientific article; zbMATH DE number 4037224
• Modular Analysis of Petri Nets
• Analysis of Petri nets and transition systems

Cited in

(20)

• Invariant-preserving Petri net reduction and conditions for invariant- existence
• Analysis issues in Petri nets with inhibitor arcs
• S- and T-invariants in cyber net systems
• S-invariant analysis of general recursive Petri boxes
• Extensible structural analysis of Petri net product lines
• Lifted structural invariant analysis of Petri net product lines
• Computing parameterized invariants of parameterized Petri nets
• Constructing invariants for hybrid systems
• scientific article; zbMATH DE number 1617317 (Why is no real title available?)
• Speeding up the constraint-based method in difference logic
• Symbolic execution of concurrent systems using Petri nets
• scientific article; zbMATH DE number 4076636 (Why is no real title available?)
• scientific article; zbMATH DE number 1956602 (Why is no real title available?)
• scientific article; zbMATH DE number 1755152 (Why is no real title available?)
• Computing Parameterized Invariants of Parameterized Petri Nets
• Formal relationships between geometrical and classical models for concurrency
• Tools and Algorithms for the Construction and Analysis of Systems
• Automated Technology for Verification and Analysis
• Applications and Theory of Petri Nets 2005
• Property-directed incremental invariant generation

Describes a project that uses

Uses Software

• HyTech

This page was built for publication: Petri net analysis using invariant generation

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