Full Axiomatisation of Timed Processes of Interval-Timed Petri Nets

DOI10.3233/FI-2018-1636zbMath1393.68122OpenAlexW2786789727MaRDI QIDQ4637907

Elisabeth Pelz

Publication date: 3 May 2018

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

Full work available at URL: https://doi.org/10.3233/fi-2018-1636

Mathematics Subject Classification ID

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

This page was built for publication: Full Axiomatisation of Timed Processes of Interval-Timed Petri Nets