Petri Nets
Fundamental Models, Verification and Applications
Inbunden, Engelska, 2009
5 589 kr
Beställningsvara. Skickas inom 11-20 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
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.
Produktinformation
- Utgivningsdatum2009-07-10
- Mått155 x 234 x 38 mm
- Vikt1 021 g
- FormatInbunden
- SpråkEngelska
- Antal sidor656
- FörlagISTE Ltd and John Wiley & Sons Inc
- ISBN9781848210790
Tillhör följande kategorier
Hoppa över listan
Mer från samma författare
Digital Home Networking
Romain Carbou, Michel Diaz, Ernesto Exposito, Rodrigo Roman
Inbunden, 2011
3 169 kr
Application of Petri Nets to Communication Networks
Jonathan Billington, Michel Diaz, Grzegorz Rozenberg
Häftad, 1999
749 kr
Interactive Distributed Multimedia Systems and Telecommunication Services
Michel Diaz, Philippe Owezarski, Patrick Senac
Häftad, 1999
749 kr
End-to-End Quality of Service Over Heterogeneous Networks
Torsten Braun, Michel Diaz, José Enríquez Gabeiras, Thomas Staub
Inbunden, 2008
1 479 kr
End-to-End Quality of Service Over Heterogeneous Networks
Torsten Braun, Michel Diaz, José Enríquez Gabeiras, Thomas Staub
Häftad, 2010
1 489 kr
Cloud Computing
Dimiter Avresky, Michel Diaz, Arndt Bode, Bruno Ciciani, Eliezer Dekel
Häftad, 2010
749 kr
Hoppa över listan
Du kanske också är intresserad av
jüdische Gemeinde von Frankfurt/Main in der Frühen Neuzeit
CILLI Kasper-Holtkotte
Inbunden, 2010
5 589 kr
Pediatric Solid Organ Transplantation
Richard N. Fine, Steven A. Webber, William E. Harmon, Deirdre A. Kelly, Kim M. Olthoff
Inbunden, 2007
5 589 kr
Briefe aus der Frankfurter Zeit 1666-1686
Philipp Jakob Spener, Udo Sträter, Johannes Wallmann
Inbunden, 2020
5 589 kr
Handbook of Research on Architectural Trends in Service-Driven Computing Vol 1
Ramanathan
Inbunden, 2014
5 589 kr
ANNUAL ANALYSIS OF COMPETITIVENESS, SIMULATION STUDIES AND DEVELOPMENT PERSPECTIVE FOR 35 STATES AND FEDERAL TERRITORIES OF INDIA: 2000-2010
Khee Giap Tan, Linda Low, Kong Yam Tan, Kartik Rao
Inbunden, 2014
5 589 kr