Ioana Olga
Modeling and analysing parallel and distributed systems proved to be a real challenge. Many theories have been proposed to accomplish this matter.
Among them the Petri net theory plays an important role. This is because a Petri net model is a very simple mathematical structure, but quite expressive.
Basic properties of real systems, like safeness or boundedness, liveness, deadlock-freeness, the existence of home markings etc., can be cleanly modeled and analysed by means of Petri nets.
The aim of this paper is to give an overview on safeness, liveness, deadlock-freeness and home marking properties of Petri nets.
As a contribution, we establish results proving connections 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},
url = {https://publications.info.uaic.ro/technical-reports/archive/tr02-03-2002-safety-properties-for-petri-nets/}
}