scientific article; zbMATH DE number 1956602

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
• scientific article; zbMATH DE number 1302045
• How Petri net theory serves Petri net model checking: a survey
• Stubborn versus structural reductions for Petri nets

Cited in

(10)

• Petri Net Reductions for Counting Markings
• Invariant-preserving Petri net reduction and conditions for invariant- existence
• Offline analysis of the relaxed upper boundedness for online estimation of optimal event sequences in partially observable Petri nets
• Reduced state space representation for unbounded vector state spaces
• Automatic decomposition of Petri nets into automata networks -- a synthetic account
• Symmetries in timed continuous Petri nets
• A Polyhedral Abstraction for Petri Nets and its Application to SMT-Based Model Checking
• scientific article; zbMATH DE number 1755147 (Why is no real title available?)
• Tools and Algorithms for the Construction and Analysis of Systems
• Lifted structural invariant analysis of Petri net product lines

Describes a project that uses

Uses Software

• LoLA

This page was built for publication:

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