An Axiomatic Characterization of Algebras of Processes of Petri Nets

Józef Winkowski. An Axiomatic Characterization of Algebras of Processes of Petri Nets. Fundamenta Informaticae, 72(1-3):407-420, 2006. [doi]

Abstract

Abstract is missing.