Petri nets fundamental models, verification and applications

Saved in:

Bibliographic Details
Other Authors:	Diaz, Michel 1945-
Format:	Book
Published:	London ISTE/Wiley 2009
Series:	Control systems, robotics and manufacturing series
Subjects:	Petri nets System design > Distributed processing Parallel processing (Electronic computers) Electronic data processing > Distributed processing
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

MARC


LEADER	00000n a2200000 a 4501
001	wils-443129
020	#	#	\|a 1848210795
020	#	#	\|a 9781848210790
040	#	#	\|a DLC \|d ITMB
090	0	0	\|a QA76.9.D5 \|b P4813 2009
245	0	0	\|a Petri nets \|b fundamental models, verification and applications \|c edited by Michel Diaz
260	#	#	\|a London \|b ISTE/Wiley \|c 2009
300	#	#	\|a xxv, 585 p. \|b ill. \|c 24 cm
490	1	#	\|a Control systems, robotics and manufacturing series
500	#	#	\|a First published in French as 2 separate works, Les râeseaux de Petri (2001) and Vâerification et mise en ¶uvre des râeseaux de Petri (2003)
504	#	#	\|a Includes bibliographical references and index
650	#	0	\|a Petri nets
650	#	0	\|a System design \|x Distributed processing
650	#	0	\|a Parallel processing (Electronic computers)
650	#	0	\|a Electronic data processing \|x Distributed processing
700	1	#	\|a Diaz, Michel \|d 1945-
856	4	0	\|z Click Here to View Status and Holdings. \|u https://opac.uitm.edu.my/opac/detailsPage/detailsHome.jsp?tid=443129
964	#	#	\|c BOK \|d CS