Free choice petri nets
Auteur :
Desel, Jorg / Esparza, Javier
Éditeur :
Cambridge University Press
ISBN :
9780521019453
Date de publication :
8 sept. 2005
Dimensions :
24,5 x 17,0 x 1,3 cm
Poids :
414 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Grande Bretagne
Petri nets are a popular and powerful formal model for the analysis and modelling of concurrent systems. The text is very clearly organised, with every notion carefully explained and every result proved. Clear exposition is given for place invariants, siphons, traps and many other important analysis techniques.