Concurrency Theory of Cyclic and Acyclic Processes

Abstract

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)

Topics

Figures and Tables

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

Slides referencing similar topics