TR02-03 (2002) – Safety Properties for Petri Nets

Ioana Olga

Modeling and analysing parallel and distributed systems proved to be a real challenge. Many theories have been proposed to accomplishthis matter. Among them the Petri net theoryplays an important role. This is because a Petri net model is a verysimple mathematical structure, but quite expressive. Basic properties of real systems, like safenessor boundedness, liveness, deadlock-freeness,the existence of home markings etc., can be cleanly modeled and analysed by means ofPetri nets. The aim of this paper is to give an overviewon safeness, liveness, deadlock-freeness andhome marking properties of Petri nets. As a contribution, we establish results provingconnections between the existence of home markings for confluent and noetherian Petrinets.

Bibtex

@TechReport{sppn,
  author = 	 {Ioana Olga},
  title = 	 {Safety Properties for Petri Nets},
  institution =  {University ``A.I.Cuza'' of Iac{s}i, Faculty of
Computer Science},
  year = 	 {2002},
  number = 	 {TR 02-03},
  note = 	 {URL:http://www.infoiasi.ro/~tr/tr.pl.cgi}
}