Paper Details

Communicating Process Architectures (CPA)
 Title: Concurrency Issues in Ordinary Place Transition Petri Nets
 Conference: Communicating Process Architectures 2017
 Authors: Anthony Spiteri Staines
Department of Computer Information Systems, University of Malta
 Abstract: This paper briefly explains some basic concurrency issues that are present when modeling with classical place transition nets. Many users assume that certain Petri net structures are concurrent or concurrency free. However, it can be shown that concurrency does not depend only on the structure but also on the distribution of resources in the net. Some toy examples are given to show the different possibilities and concurrency is classified into (i) dependent and (ii) temporal (weak) concurrency. Some findings are presented. 
Files:


BibTeX Entry


Full paper


Presentation