Sage Journals HomeSage Journals Home
loading
An Axiomatic Characterization of Algebras of Processes of Petri Nets