Coloured petri nets : modelling and validation of concurrent systems
tarafından
Jensen, Kurt
Başlık
:
Coloured petri nets : modelling and validation of concurrent systems
Yazar
:
Jensen, Kurt
ISBN
:
9783642002830
Yazar
:
Jensen, Kurt
Yayın Bilgisi
:
Dordrecht ; New York : Springer, 2009.
Fiziksel Niteleme
:
xi, 384 p. : ill. ; 24 cm.
Konu Başlığı
:
Petri nets.
Gefärbtes Petri-Netz.
Yazar Ek Girişi
:
Kristensen, Lars M. (Lars Michael)
Materyal Türü | Barkod | Yer Numarası | Durumu/İade Tarihi |
---|
Book | 30007676 | BD255 .F76 2009 | Ayşe Ilıcak Kütüphanesi B Blok |