Concurrency Theory of Cyclic and Acyclic Processes


This work investigates the axiomatic concurrency theory proposed by Carl Adam Petri as a basis of general net theory starting with physically motivated axioms. A formulation in terms of partially ordered sets is intensionally not adopted here, in order to deal with this theory in a more general setting, viewing causality and concurrency as pure similarity… (More)


Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics