Coloured Petri Nets : modelling and validation of concurrent systems


Kurt Jensen, Lars M. Kristensen
Bok Engelsk 2009
Utgitt
Berlin : Springer , 2009
Omfang
XI, 384 s. : ill.
Emner
Petrinett
Samtidighet
petri nett
Dewey
ISBN
9783642002830

Bibliotek som har denne