True Concurrent Equivalences in Time Petri Nets*

DOI10.3233/FI-2016-1454zbMath1380.68301OpenAlexW2565281326MaRDI QIDQ4589254

I. B. Virbitskaite, Dmitry Bushin, Eike Best

Publication date: 9 November 2017

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

Full work available at URL: https://doi.org/10.3233/fi-2016-1454

Mathematics Subject Classification ID

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

Related Items (2)

`True concurrency' semantics for time Petri nets with weak time and persistent atomic policies ⋮ Testing equivalences of time Petri nets

This page was built for publication: True Concurrent Equivalences in Time Petri Nets*