The paper surveys those net classes which can be called to some extent `modular' and the basic net models used as a framework in their definition. In particular the first part introduces condition event systems, elementary net systems place transition systems and 1-safe systems, adhering as much as possible to the original definitions, with the few modifications consolidated in the literature. It discusses and compares the basic net models by considering how each one of them deals with some fundamental properties of a net model, such as simplicity, pureness, backward and forward reachability, liveness, contact-freeness. The second part surveys the main classes of modular nets defined in the literature, showing that most of them share some basic features, since they typically refer to a common idea of building the overall net by composing the nets modelling its sequential components by means of state machines. The differences are considered from the perspective of the specific goal and field of interest of the various authors, and the technical apparatus associated with the various net classes is briefly referred to and illustrated by examples

A survey of basic net models and modular net classes / L. Bernardinello, F. De Cindio ; [a cura di] G. Rozenberg. - Secaucus, NJ, U.S.A. : SPRINGER, 1992. - ISBN 3540556109.

A survey of basic net models and modular net classes

F. De Cindio
1992

Abstract

The paper surveys those net classes which can be called to some extent `modular' and the basic net models used as a framework in their definition. In particular the first part introduces condition event systems, elementary net systems place transition systems and 1-safe systems, adhering as much as possible to the original definitions, with the few modifications consolidated in the literature. It discusses and compares the basic net models by considering how each one of them deals with some fundamental properties of a net model, such as simplicity, pureness, backward and forward reachability, liveness, contact-freeness. The second part surveys the main classes of modular nets defined in the literature, showing that most of them share some basic features, since they typically refer to a common idea of building the overall net by composing the nets modelling its sequential components by means of state machines. The differences are considered from the perspective of the specific goal and field of interest of the various authors, and the technical apparatus associated with the various net classes is briefly referred to and illustrated by examples
PETRI NETS PARALLEL PROCESSING
Settore INF/01 - Informatica
A survey of basic net models and modular net classes / L. Bernardinello, F. De Cindio ; [a cura di] G. Rozenberg. - Secaucus, NJ, U.S.A. : SPRINGER, 1992. - ISBN 3540556109.
Book (author)
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate

Caricamento pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/2434/201311
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact