Syntax and Semantics of Petri Nets
(Bog, Hardback, Engelsk)
Forlag:
Cambridge University Press
- Type: Bog
- Format: Hardback
-
Sprog:
Engelsk
- ISBN-13: 9781009613286
- Se flere detaljer ▼
Bemærk: Kan leveres før jul.
Beskrivelse
A modern look at Petri net theory, providing a uniform presentation of both theories of sequential and distributed computation. Introducing the theory step by step, this is a useful resource for graduate students and researchers engaged with the modeling, analysis, and verification of distributed communicating systems.
Læsernes anmeldelser (0)
Alle detaljer
| Forlag | Cambridge University Press |
| Forfatter | Roberto (Universita degli Studi Gorrieri |
| Type | Bog |
| Format | Hardback |
| Sprog | Engelsk |
| Udgivelsesdato | 25-09-2025 |
| Første udgivelsesår | 2025 |
| Serie | Cambridge Tracts in Theoretical Computer Science |
| Illustrationer | Worked examples or Exercises |
| Originalsprog | United Kingdom |
| Sideantal | 282 |
| Indbinding | Hardback |
| Forlag | Cambridge University Press |
| Sideoplysninger | 282 pages, Worked examples or Exercises |
| Mål | 235 x 161 x 22 |
| ISBN-13 / EAN-13 | 9781009613286 |