MP Cabasino,
A Giua,
C Seatzu - … -Event Systems: Automata and Petri Net …, 2013 - Springer
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, ie …