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...

Full description

Bibliographic Details
Call Number:Libro Electrónico
Main Author: Diaz, Michel
Format: Electronic eBook
Language:Inglés
Published: Hoboken : John Wiley & Sons, 2009.
Subjects:
Electronic data processing > Distributed processing.
Parallel processing (Electronic computers)
System design.
Petri nets.
Traitement réparti.
Parallélisme (Informatique)
Conception de systèmes.
Réseaux de Pétri.
Electronic data processing > Distributed processing
Petri nets
System design
Online Access:Texto completo

Internet

Texto completo

Items no disponibles

Holdings details from

Similar Items