Concurrency and hardware design : advances in Petri nets /

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Cortadella, J. (Jordi), 1962-, Yakovlev, Alex, Rozenberg, Grzegorz
Format:	eBook
Language:	English
Published:	Berlin ; New York : Springer, 2002.
Series:	Lecture notes in computer science ; 2549.
Subjects:	Parallel processing (Electronic computers) Electronic digital computers > Design and construction. Petri nets. analyse performance. vérification matériel. système embarqué. conception circuit. réseau Petri. conception matériel. concurrence. Ordinateurs > Conception et construction. Parallélisme (Informatique) Pétri, Réseaux de. Petri, Réseaux de. Parallélisme (informatique) Systementwurf. Nebenläufigkeit. Petri-Netz. Formale Methode. Verifikation. Leistungsbewertung. Asynchrones Schaltwerk. Entwurfsautomation. Eingebettetes System. Electronic books.
Online Access:	Connect to the full text of this electronic book

Remote Storage