Using Petri net invariants in state space construction

MaRDI QIDQ4417950zbMATH OpenFDO

Authors Karsten Wolf

Publication date 30 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2619/26190473.htm

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)

Recommendations

• Invariant-preserving Petri net reduction and conditions for invariant- existence
• Petri net analysis using invariant generation
• Basic linear algebraic techniques for place/transition nets
• How Petri net theory serves Petri net model checking: a survey
• Stubborn versus structural reductions for Petri nets

Cited in

(11)

• Invariant-preserving Petri net reduction and conditions for invariant- existence
• Lifted structural invariant analysis of Petri net product lines
• Incremental state space construction for coloured Petri nets
• Reduced state space representation for unbounded vector state spaces
• A Polyhedral Abstraction for Petri Nets and its Application to SMT-Based Model Checking
• Automatic decomposition of Petri nets into automata networks -- a synthetic account
• Tools and Algorithms for the Construction and Analysis of Systems
• Symmetries in timed continuous Petri nets
• Petri Net Reductions for Counting Markings
• Offline analysis of the relaxed upper boundedness for online estimation of optimal event sequences in partially observable Petri nets
• On clock interval automata for a class of time PNs

Describes a project that uses

Uses Software

• LoLA

This page was built for publication: Using Petri net invariants in state space construction

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