Cargando…
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: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Hoboken :
John Wiley & Sons,
2009.
|
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000Mi 4500 | ||
|---|---|---|---|
| 001 | EBOOKCENTRAL_ocn536330145 | ||
| 003 | OCoLC | ||
| 005 | 20240329122006.0 | ||
| 006 | m o d | ||
| 007 | cr mn|---||||| | ||
| 008 | 100212s2009 xx ob 001 0 eng d | ||
| 040 | |a MERUC |b eng |e pn |c MERUC |d YDXCP |d OCLCQ |d UKDOC |d OCLCQ |d IDEBK |d OTZ |d OCLCO |d OCLCF |d N$T |d EBLCP |d IWA |d E7B |d CDX |d MHW |d FVL |d NLGGC |d DEBSZ |d OCLCQ |d COCUF |d ZCU |d OCLCQ |d MERUC |d OCLCQ |d U3W |d OCLCQ |d CEF |d ICG |d INT |d OCLCQ |d DKC |d OCLCQ |d OCLCO |d OCLCQ |d OCLCO | ||
| 019 | |a 593295624 |a 609609878 |a 647848029 |a 661043254 |a 748593850 |a 816568229 | ||
| 020 | |a 9780470394304 |q (electronic bk.) | ||
| 020 | |a 0470394307 |q (electronic bk.) | ||
| 020 | |a 9780470611647 |q (electronic bk.) | ||
| 020 | |a 0470611642 |q (electronic bk.) | ||
| 020 | |a 9781282688797 |q (electronic bk.) | ||
| 020 | |a 1282688790 |q (electronic bk.) | ||
| 020 | |z 9781848210790 | ||
| 024 | 7 | |a 10.1002/9780470611647 |2 doi | |
| 029 | 1 | |a AU@ |b 000045590069 | |
| 029 | 1 | |a AU@ |b 000053263777 | |
| 029 | 1 | |a DEBBG |b BV044141465 | |
| 029 | 1 | |a DEBSZ |b 43080587X | |
| 029 | 1 | |a NZ1 |b 14242448 | |
| 029 | 1 | |a AU@ |b 000055725319 | |
| 035 | |a (OCoLC)536330145 |z (OCoLC)593295624 |z (OCoLC)609609878 |z (OCoLC)647848029 |z (OCoLC)661043254 |z (OCoLC)748593850 |z (OCoLC)816568229 | ||
| 050 | 4 | |a QA76.9 | |
| 072 | 7 | |a TJ |2 bicssc | |
| 082 | 0 | 4 | |a 511.35 |
| 049 | |a UAMI | ||
| 100 | 1 | |a Diaz, Michel. | |
| 245 | 1 | 0 | |a Petri Nets : |b Fundamental Models, Verification and Applications. |
| 260 | |a Hoboken : |b John Wiley & Sons, |c 2009. | ||
| 300 | |a 1 online resource (613 pages) | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 520 | |a 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. | ||
| 505 | 0 | |a Petri Nets: Fundamental Models, Verification and Applications; Table of Contents; Preface; Introduction; Part 1. Fundamental Models; Chapter 1. Basic Semantics; Chapter 2. Application of Petri Nets to Communication Protocols; Chapter 3. Analysis Methods for Petri; Chapter 4. Decidability and Complexity of Petri Net Problems; Chapter 5. Time Petri Nets; Chapter 6. Temporal Composition and Time Stream Petri Nets; Chapter 7. High Level Petri Nets; Chapter 8. Analysis of High Level Petri Nets; Chapter 9. Stochastic Petri Nets; Chapter 10. Stochastic Well-formed Petri Nets. | |
| 588 | 0 | |a Print version record. | |
| 504 | |a Includes bibliographical references and index. | ||
| 590 | |a ProQuest Ebook Central |b Ebook Central Academic Complete | ||
| 650 | 0 | |a Electronic data processing |x Distributed processing. | |
| 650 | 0 | |a Parallel processing (Electronic computers) | |
| 650 | 0 | |a System design. | |
| 650 | 0 | |a Petri nets. | |
| 650 | 6 | |a Traitement réparti. | |
| 650 | 6 | |a Parallélisme (Informatique) | |
| 650 | 6 | |a Conception de systèmes. | |
| 650 | 6 | |a Réseaux de Pétri. | |
| 650 | 7 | |a Electronic data processing |x Distributed processing |2 fast | |
| 650 | 7 | |a Parallel processing (Electronic computers) |2 fast | |
| 650 | 7 | |a Petri nets |2 fast | |
| 650 | 7 | |a System design |2 fast | |
| 776 | 1 | |z 9781848210790 | |
| 856 | 4 | 0 | |u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=477662 |z Texto completo |
| 938 | |a 123Library |b 123L |n 21823 | ||
| 938 | |a Coutts Information Services |b COUT |n 14499857 | ||
| 938 | |a EBL - Ebook Library |b EBLB |n EBL477662 | ||
| 938 | |a ebrary |b EBRY |n ebr10361011 | ||
| 938 | |a EBSCOhost |b EBSC |n 310821 | ||
| 938 | |a ProQuest MyiLibrary Digital eBook Collection |b IDEB |n 268879 | ||
| 938 | |a YBP Library Services |b YANK |n 3161085 | ||
| 938 | |a YBP Library Services |b YANK |n 3134086 | ||
| 994 | |a 92 |b IZTAP | ||