A Necessary and Sufficient Condition for the Liveness and Reversibility of Process-Resource Nets With Acyclic, Quasi-live, Serializable, and Reversible Process Subnets

Spyros A. Reveliotis. A Necessary and Sufficient Condition for the Liveness and Reversibility of Process-Resource Nets With Acyclic, Quasi-live, Serializable, and Reversible Process Subnets. IEEE T. Automation Science and Engineering, 3(4):462-468, 2006. [doi]

Abstract

Abstract is missing.