Petri nets for systems engineering : a guide to modeling, verification, and applications

Claude Girault, Rüdiger Valk
Bok · Engelsk · 2003

Utgitt	Berlin : Springer , c2003
Omfang	XVI, 607 s. : ill.
Emner	Formal methods (Computer science) Petri nets Systems engineering Formell spesifikasjon (Programutvikling) Vis mer... Modellering og simulering Petri-nett
Dewey	004/.01/51
ISBN	3540412174