Soundness of Timed-Arc Workflow Nets in Discrete and Continuous-Time Semantics

José Antonio Mateo, Jirí Srba, Mathias Grund Sørensen. Soundness of Timed-Arc Workflow Nets in Discrete and Continuous-Time Semantics. Fundamenta Informaticae, 140(1):89-121, 2015. [doi]

Abstract

Abstract is missing.