This chapter, that can be seen as the continuation of the previous one, presents additional background material on Petri nets. In particular, the main focus is on structural analysis, i.e., algebraic tools that do not require the enumeration of the reachability set of a marked net but are based on the analysis of the state equation, on the incidence matrix, etc. Meaningful structural properties, i.e., properties that are only related to the structure of the net and not to its initial marking, are also defined and analyzed. Subclasses of Petri nets are finally defined and simplified analysis criteria that pertain to these classes are presented.
%0 Book Section
%1 citeulike:12606695
%A Cabasino, MariaPaola
%A Giua, Alessandro
%A Seatzu, Carla
%B Control of Discrete-Event Systems
%D 2013
%E Seatzu, Carla
%E Silva, Manuel
%E van Schuppen, Jan H.
%I Springer London
%K analysis, citas, citeulike nets, petri, referencias, structural
%P 213--233
%R 10.1007/978-1-4471-4276-8_11
%T Structural Analysis of Petri Nets
%U http://dx.doi.org/10.1007/978-1-4471-4276-8_11
%V 433
%X This chapter, that can be seen as the continuation of the previous one, presents additional background material on Petri nets. In particular, the main focus is on structural analysis, i.e., algebraic tools that do not require the enumeration of the reachability set of a marked net but are based on the analysis of the state equation, on the incidence matrix, etc. Meaningful structural properties, i.e., properties that are only related to the structure of the net and not to its initial marking, are also defined and analyzed. Subclasses of Petri nets are finally defined and simplified analysis criteria that pertain to these classes are presented.
@incollection{citeulike:12606695,
abstract = {{This chapter, that can be seen as the continuation of the previous one, presents additional background material on Petri nets. In particular, the main focus is on structural analysis, i.e., algebraic tools that do not require the enumeration of the reachability set of a marked net but are based on the analysis of the state equation, on the incidence matrix, etc. Meaningful structural properties, i.e., properties that are only related to the structure of the net and not to its initial marking, are also defined and analyzed. Subclasses of Petri nets are finally defined and simplified analysis criteria that pertain to these classes are presented.}},
added-at = {2017-09-08T10:52:59.000+0200},
author = {Cabasino, MariaPaola and Giua, Alessandro and Seatzu, Carla},
biburl = {https://www.bibsonomy.org/bibtex/2814a5c46f9e17133b009f0dcbe73b6cc/fernand0},
booktitle = {Control of Discrete-Event Systems},
citeulike-article-id = {12606695},
citeulike-linkout-0 = {http://dx.doi.org/10.1007/978-1-4471-4276-8_11},
citeulike-linkout-1 = {http://link.springer.com/chapter/10.1007/978-1-4471-4276-8_11},
doi = {10.1007/978-1-4471-4276-8_11},
editor = {Seatzu, Carla and Silva, Manuel and van Schuppen, Jan H.},
interhash = {a8c89e69dda6121dcb0652acf2809b70},
intrahash = {814a5c46f9e17133b009f0dcbe73b6cc},
keywords = {analysis, citas, citeulike nets, petri, referencias, structural},
pages = {213--233},
posted-at = {2013-09-04 17:56:18},
priority = {2},
publisher = {Springer London},
series = {Lecture Notes in Control and Information Sciences},
timestamp = {2017-09-08T10:53:23.000+0200},
title = {{Structural Analysis of Petri Nets}},
url = {http://dx.doi.org/10.1007/978-1-4471-4276-8_11},
volume = 433,
year = 2013
}