Vista normal Vista MARC Vista ISBD

Girault, Claude,

Petri nets for systems engineering : a guide to modeling, verification, and applications / Claude Girault, Rüdiger Valk - xvi, 607 páginas : ilustraciones

ISBN: 3540412174 (papel alcalino)

Subjects--Topical Terms:
Métodos formales (Computación)
Ingeniería de sistemas
Redes de Petri

LC Class. No.: QA76.9F67 / G57

Dewey Class. No.: 004/.01/51