A toolbox for the analysis of discrete event dynamic systems

DOI10.1007/3-540-48683-6_41MaRDI QIDQ4818815zbMATH OpenFDO

Authors Peter Buchholz, Peter Kemper

Publication date 24 September 2004

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

Full work available at URL https://doi.org/10.1007/3-540-48683-6_41

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) Discrete event control/observation systems (93C65)

Recommendations

• Dynamic analysis of Petri net-based discrete systems
• Introduction to discrete event systems
• Analysis of Petri nets and transition systems
• scientific article; zbMATH DE number 1836400
• scientific article; zbMATH DE number 3930847

Cited in

(8)

• Modelling of biochemical reactions by stochastic automata networks
• Charlie -- an extensible Petri net analysis tool
• Computational Probability for Systems Biology
• Modeling and quantitative analysis of discrete event systems: A statecharts based approach
• A set of performance and dependability analysis components for CADP
• A Multiview Approach to Modeling and Analysis of Discrete Event Systems
• scientific article; zbMATH DE number 1836400 (Why is no real title available?)
• Equivalence checking 40 years after: a review of bisimulation tools

Describes a project that uses

Uses Software

• APNN-Toolbox

This page was built for publication: A toolbox for the analysis of discrete event dynamic systems

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