A holistic state equation for timed Petri nets

DOI10.3233/FI-2014-1078MaRDI QIDQ2934902zbMATH OpenOpenAlexFDO

Authors Matthias Werner, Louchka Popova-Zeugmann, Mario Haustein, Elisabeth Pelz

Publication date 22 December 2014

Published in Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3233/fi-2014-1078

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2064230
• State equations and equivalent transformations for timed Petri nets
• Recursive equations and basic properties of timed Petri nets
• Algebraical characterisation of interval-timed Petri nets with discrete delays
• scientific article; zbMATH DE number 4209631

Cited in

(8)

• scientific article; zbMATH DE number 2064230 (Why is no real title available?)
• scientific article; zbMATH DE number 1755141 (Why is no real title available?)
• State equations of stochastic timed Petri nets with informational relations
• Algebraical characterisation of interval-timed Petri nets with discrete delays
• Generalized state equation of Petri Nets with priority
• Generating Petri Net State Equation with Firing Condition Functions
• Narrowing Petri net state spaces using the state equation
• Recursive equations and basic properties of timed Petri nets

This page was built for publication: A holistic state equation for timed Petri nets

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