

An edition of Concurrency and hardware design (2002)
advances in petri nets
By Grzegorz Rozenberg
Publish Date
2002
Publisher
Springer
Language
eng
Pages
343
Description:
subjects: Electronic digital computers, Parallel processing (Electronic computers), Petri nets, Design and construction, Electronic digital computers, design and construction, Ordinateurs, Conception et construction, Parallélisme (Informatique), Pétri, Réseaux de, Asynchrones Schaltwerk, Eingebettetes System, Entwurfsautomation, Formale Methode, Leistungsbewertung, Nebenläufigkeit, Petri-Netz, Systementwurf, Verifikation, Petri, Réseaux de