机读格式显示(MARC)

• 000 01312nam a22003498a 4500

• 001 0000374873

• 003 OCoLC

• 005 20101021150900.0

• 008 090424s2009 enka b 001 0 eng

• 010 __ |a 2009017412

• 020 __ |a 9781848210790

• 020 __ |a 1848210795

• 040 __ |a DLC |c DLC |d BTCTA |d BAKER |d YDXCP |d C#P |d CDX |d BWX

• 041 1_ |a eng |h fre

• 050 00 |a QA76.9.D5 |b P4813 2009

• 082 00 |a 511.3/5 |2 22

• 090 __ |a TP274/BD4

• 093 __ |a TP274 |2 4

• 130 0_ |a R鈋seaux de Petri. |l English.

• 245 10 |a Petri nets : |b fundamental models, verification and applications / |c edited by Michel Diaz.

• 260 __ |a London : |b ISTE ; |a Hoboken, NJ : |b Wiley, |c 2009.

• 300 __ |a xxv, 585 p. : |b ill. ; |c 24 cm.

• 440 _0 |a Control systems, robotics and manufacturing series.

• 500 __ |a First published in French as 2 separate works, Les r鈋seaux de Petri (2001) and V鈋rification et mise en 秛vre des r鈋seaux de Petri (2003)

• 504 __ |a Includes bibliographical references and index.

• 650 _0 |a Electronic data processing |x Distributed processing.

• 650 _0 |a Parallel processing (Electronic computers)

• 650 _0 |a System design.

• 650 _0 |a Petri nets.

• 700 1_ |a Diaz, Michel, |d 1945-

• 730 02 |a V鈋rification et mise en 秛vre des r鈋seaux de Petri. |l English.

• 920 __ |a 233030 |z 2