Algebraical Characterisation of Interval-Timed Petri Nets with Discrete Delays

DOI10.3233/FI-2012-766zbMath1278.68221OpenAlexW1548212377MaRDI QIDQ4902324

Elisabeth Pelz, Louchka Popova-Zeugmann

Publication date: 14 January 2013

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2012-766

zbMATH Keywords

reachabilitystate equationinterval-timed Petri nets

Mathematics Subject Classification ID

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

Related Items (3)

On Interval Semantics of Inhibitor and Activator Nets ⋮ Interval semantics for Petri nets with inhibitor arcs ⋮ Modeling concurrency with interval traces

This page was built for publication: Algebraical Characterisation of Interval-Timed Petri Nets with Discrete Delays