scientific article; zbMATH DE number 1956602

zbMATH Open1031.68084MaRDI QIDQ4417950FDOQ4417950

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

Title of this publication is not available (Why is that?)

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

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)

Cited In (10)

• 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
• Invariant-preserving Petri net reduction and conditions for invariant- existence
• 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
• Title not available (Why is that?)
• Tools and Algorithms for the Construction and Analysis of Systems
• Lifted structural invariant analysis of Petri net product lines

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)