Tools

LEADER 02441cam 2200529 a 4500

001 ssj0000341397;

003 WaSeSS;

005 20190313051101.0;

006 m d ;

007 cr n ;

008 090424s2009 enka sb 001 0 eng d;

010 a| 2009017412;

020 a| 9781848210790;

020 a| 1848210795;

035 a| (WaSeSS)ssj0000341397;

041 1 a| engh| fre;

049 a| EREEa| NEHH;

050 00 a| QA76.9.D5b| P4813 2009;

082 00 a| 511.3/52| 22;

130 0 a| Réseaux de Petri.l| English.?| UNAUTHORIZED;

245 10 a| Petri netsh| [electronic resource] :b| fundamental models, verification and applications /c| edited by Michel Diaz.;

260 a| London :b| ISTE ;a| Hoboken, NJ :b| Wiley,;

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 réseaux de Petri (2001) and Vérification et mise en œuvre des réseaux de Petri (2003).;

504 a| Includes bibliographical references and index.;

506 a| Available only to authorized users.;

538 a| Mode of access: World Wide Web;

650 0 a| Electronic data processingx| Distributed processing.=| ^A419191;

650 0 a| Parallel processing (Electronic computers)=| ^A123911;

650 0 a| System design.=| ^A123910;

650 0 a| Petri nets.=| ^A127975;

655 0 a| Electronic books.=| ^A491897;

700 1 a| Diaz, Michel,d| 1945-=| ^A371759;

730 02 a| Vérification et mise en œuvre des réseaux de Petri.l| English.?| UNAUTHORIZED;

830 0 a| Control systems, robotics and manufacturing series.=| ^A719060;

856 40 z| Full text available from Ebook Central - Academic Completeu| https://ebookcentral.proquest.com/lib/eastcarolina/detail.action?docID=477662;

947 a| (OCoLC)ocn221153211;

949 a| CLICK ON WEB ADDRESSw| ASISh| JOYNER188;

949 a| CLICK ON WEB ADDRESSw| ASISh| HSL77;

949 a| CLICK ON WEB ADDRESSw| ASISh| JMUSIC60;

596 a| 1 3 4;

998 a| 4225278;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 4225278-1001l| JNETm| JOYNERr| Ys| Yt| JNESSBKu| 1/2/2016x| EBOOKz| JERESOURCE;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 4225278-2001l| HSLELECm| HSLr| Ys| Yt| HEBKu| 1/2/2016x| EBOOKz| HERESOURCE;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 4225278-3001l| MNETm| JMUSICr| Ys| Yt| MNESSBKu| 1/2/2016x| EBOOKz| JERESOURCE;

Petri nets fundamental models, verification and applications / edited by Michel Diaz.

Other author	Diaz, Michel, 1945-
Format	Electronic
Publication Info	London : ISTE ; Hoboken, NJ : Wiley,
Description	xxv, 585 p. : ill. ; 24 cm.
Supplemental Content	Full text available from Ebook Central - Academic Complete
Subjects	Electronic data processing--Distributed processing. Parallel processing (Electronic computers) System design. Petri nets.

Uniform title	Réseaux de Petri. English.
Series	Control systems, robotics and manufacturing series Control systems, robotics and manufacturing series. ^A719060
General note	First published in French as 2 separate works, Les réseaux de Petri (2001) and Vérification et mise en œuvre des réseaux de Petri (2003).
Bibliography note	Includes bibliographical references and index.
Access restriction	Available only to authorized users.
Technical details	Mode of access: World Wide Web
Genre/form	Electronic books.
Contains title	Vérification et mise en œuvre des réseaux de Petri. English.
LCCN	2009017412
ISBN	9781848210790
ISBN	1848210795

Availability

Library	Location	Call Number	Status	Item Actions
	Electronic Resources	Access Content Online	✔ Available

Petri nets fundamental models, verification and applications / edited by Michel Diaz.

Click here for more information about this title

Availability