cam a22 4 4500 114267049 CHVBK 20200215063647.0 090126s2009 gw 00 eng|d GFR-CIP-09,N07,0086 DNB-09,A34,0939 dnb 992291429 GyFmDB 978-3-642-00283-0 Pp. : EUR 58.80 (freier Pr.), ca. sfr 91.50 (freier Pr.) (OCoLC)890617358 (IDSBB)004982167 DDB SzZuIDS BS/BE A100 kids 510 15 004 15 ST 130 rvk ST 132 rvk Jensen Kurt Coloured Petri Nets modeling and validation of concurrent systems Kurt Jensen, Lars M. Kristensen Berlin Springer 2009 384 S. Ill. Text txt rdacontent/ger ohne Hilfsmittel zu benutzen n rdamedia/ger Band nc rdacarrier/ger Literaturverz. S. 375 - 379 Gefärbtes Petri-Netz (DE-588)4297173-1 gnd Petri-Netz idsbb Kristensen Lars M. if SzZuIDS BS/BE mt SzZuIDS BS/BE IDSBB 100 1- Jensen Kurt IDSBB 700 1- Kristensen Lars M. SWISSBIB 114267049 BK020000 XK020000 XK020000 IDSBB A100 A100 100FM UBH Kt 19696 NELA1000911 IDSBB DSV51 DSV01 A100 http://d-nb.info/992291429/04 pdf VIEW Inhaltsverzeichnis