Petri Nets : Fundamental Models, Verification and Applications.
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...
Clasificación: | Libro Electrónico |
---|---|
Autor principal: | Diaz, Michel |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
Hoboken :
John Wiley & Sons,
2009.
|
Temas: | |
Acceso en línea: | Texto completo |
Ejemplares similares
-
Property-preserving petri net process algebra in software engineering /
Publicado: (2012) -
Property-preserving petri net process algebra in software engineering /
Publicado: (2012) -
IBM GDPS active/active overview and planning /
por: Parziale, Lydia, et al.
Publicado: (2015) -
IBM GDPS family : an introduction to concepts and capabilities /
por: Clitherow, David, et al.
Publicado: (2017) -
IBM GDPS family : an introduction to concepts and capabilities /
por: Clitherow, David
Publicado: (2019)