Petri Nets

Fundamental Models, Verification and Applications

Nonfiction, Science & Nature, Mathematics, Applied
Cover of the book Petri Nets by , Wiley
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9781118623053
Publisher: Wiley Publication: March 1, 2013
Imprint: Wiley-ISTE Language: English
Author:
ISBN: 9781118623053
Publisher: Wiley
Publication: March 1, 2013
Imprint: Wiley-ISTE
Language: English

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. The volume then addresses the related verification problems and proposes corresponding solutions by introducing the main notions needed to fully understand the behavior and properties behind Petri nets. Particular attention is devoted to how systems can be fully represented and analyzed in terms of their behavioral, time, and stochastic aspects by using the same formal approach and semantic basis. Finally, illustrative examples are presented in the important fields of interoperability in telecommunication services, programming languages, multimedia architectures, manufacturing systems, and communication protocols.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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. The volume then addresses the related verification problems and proposes corresponding solutions by introducing the main notions needed to fully understand the behavior and properties behind Petri nets. Particular attention is devoted to how systems can be fully represented and analyzed in terms of their behavioral, time, and stochastic aspects by using the same formal approach and semantic basis. Finally, illustrative examples are presented in the important fields of interoperability in telecommunication services, programming languages, multimedia architectures, manufacturing systems, and communication protocols.

More books from Wiley

Cover of the book Statistics with JMP: Hypothesis Tests, ANOVA and Regression by
Cover of the book Spectral Clustering and Biclustering by
Cover of the book Structural Materials and Processes in Transportation by
Cover of the book Dynamic Modeling and Predictive Control in Solid Oxide Fuel Cells by
Cover of the book Essential Image Processing and GIS for Remote Sensing by
Cover of the book Personnel Psychology and Human Resources Management by
Cover of the book Environmental Issues for Architecture by
Cover of the book Modeling of Molecular Properties by
Cover of the book Applied Impact Mechanics by
Cover of the book Sprachführer Englisch für Dummies Das Pocketbuch by
Cover of the book Statistik für Psychologen für Dummies by
Cover of the book Developing Nursing Practice with Children and Young People by
Cover of the book Micromechanics of Fracture and Damage by
Cover of the book Twitter Marketing For Dummies by
Cover of the book Earth Wars by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy