'True Concurrency' Semantics for Time Petri Nets with Weak Time and Persistent Atomic Policies

Irina B. Virbitskaite, Andrey Yu Zubarev. 'True Concurrency' Semantics for Time Petri Nets with Weak Time and Persistent Atomic Policies. Programming and Computer Software, 47(5):389-401, 2021. [doi]

Abstract

Abstract is missing.