2013-01-01
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.
Structural Analysis of Petri Nets
chapters
2019-04-15T22:00
213-233
2013
false
en
http://link.springer.com/10.1007/978-1-4471-4276-8_11
chapter
https://scigraph.springernature.com/explorer/license/
Pure Mathematics
Carla
Seatzu
Alessandro
Giua
dimensions_id
pub.1038454337
b72ddd945a41e4f599a9ea42ce1e072bf364f32a07182bdbc5fe8258a972e472
readcube_id
Springer London
London
doi
10.1007/978-1-4471-4276-8_11
978-1-4471-4276-8
Control of Discrete-Event Systems
978-1-4471-4275-1
Mathematical Sciences
University of Cagliari
Department of Electrical and Electronic Engineering, University of Cagliari, Cagliari, Italy
Carla
Seatzu
van Schuppen
Jan H.
Springer Nature - SN SciGraph project
Maria Paola
Cabasino
Manuel
Silva