Petri nets: fundamental models, verification and applications
Éditeur :
ISTE Ltd and John Wiley & Sons Inc
ISBN :
9781848210790
Date de publication :
10 juil. 2009
Dimensions :
23,4 x 15,5 x 3,8 cm
Poids :
1021 g
Langue :
Anglais
Pays d'origine :
Grande Bretagne
A Petri net is a mathematical representation of a network. This book first introduces the basic models including time and stochastic extensions, in particular place-transition and high level Petri nets. Their modeling and design capabilities are illustrated by a set of representations of interest in operating and communication systems.