Girault, Claude
Petri nets for systems engineering : a guide to modeling, verification, and applications / Claude Girault, Rüdiger Valk. - Berlin : Springer, cop. 2003
. - XVI, 607 p. : il. ; 24 cm
3-540-41217-4
Métodos Formais / Redes De Petri / Engenharia de sistemas /
681.5-1/GIR/PET
Petri nets for systems engineering : a guide to modeling, verification, and applications / Claude Girault, Rüdiger Valk. - Berlin : Springer, cop. 2003
. - XVI, 607 p. : il. ; 24 cm
3-540-41217-4
Métodos Formais / Redes De Petri / Engenharia de sistemas /
681.5-1/GIR/PET