A holistic state equation for timed Petri nets

DOI10.3233/FI-2014-1078zbMATH Open1302.68203OpenAlexW1788154773MaRDI QIDQ2934902FDOQ2934902

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

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

Mathematics Subject Classification ID

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

Cited In (8)

• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)