Petri nets : fundamental models, verification and applications /

Bibliographic Details
Uniform Title:	Réseaux de Petri.
Other Authors:	Diaz, Michel, 1945-
Format:	Book
Language:	English
Published:	London : Hoboken, NJ : ISTE ; Wiley, 2009.
Series:	Control systems, robotics and manufacturing series.
Subjects:	Electronic data processing > Distributed processing. Parallel processing (Electronic computers) System design. Petri nets.
Online Access:	Publisher description

Description
Item Description:	First published in French as 2 separate works, Les réseaux de Petri (2001) and Vérification et mise en œuvre des réseaux de Petri (2003).
Physical Description:	xxv, 585 pages : illustrations ; 24 cm.
Bibliography:	Includes bibliographical references and index.
ISBN:	9781848210790 1848210795