Petri nets for systems engineering : a guide to modeling, verification, and applications - Girault, Claude; Valk, Rüdiger (New York ; London : Springer, 2003)
Dizin : (601-607) sayfa.
Kaynakça : (571-599) sayfa.
Keywords: Formal methods (Computer science); Biçimsel yöntemler (Bilgisayar bilimi); Systems engineering; Sistem mühendisliği; Petri nets; Petri ağları