Petri nets fundamental models, verification and applications

Petri nets fundamental models, verification and applications

Saved in:
Bibliographic Details
Other Authors: Diaz, Michel 1945-
Format: Unknown
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 râeseaux de Petri (2001) and Vâerification et mise en ¶uvre des râ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 
998 # # |a 00260##a002.8.2||00260##b002.8.4||00260##c002.7.6||00300##a003.4.1||00300##b003.6.1||00300##c003.5.1||00500##a002.17.2|| 

Similar Items