Referências: |
Claude, Girault and Rudiger, Valk , Petri Nets for Systems Engineering, Springer Verlag, 2007.
Christos G. Cassandras and Stephane Lafortune, Introduction to Discrete Event Systems, Springer; 2 edition, 2006.
Jiacun Wang, Timed Petri Nets: Theory and Application, Springer, 1998
|