A Structure Causality Relation for Liveness Characterisation in Petri Nets

Belhassen Zouari. A Structure Causality Relation for Liveness Characterisation in Petri Nets. J. UCS, 11(6):1115-1133, 2005. [doi]

Abstract

Abstract is missing.