Il libro è attualmente esaurito

Coloured Petri Nets

Modelling and Validation of Concurrent Systems

Autori

Valutazione del libro

4,3(4)Aggiungi una valutazione

Parametri

Pagine: 396pagine
Tempo di lettura: 14ore

Maggiori informazioni sul libro

The textbook focuses on Coloured Petri Nets (CPN) as a modelling language, detailing its constructs and analysis methods. It offers a practical guide for utilizing CPN, enriched by selected industrial case studies that illustrate real-world applications.

Pubblicazione

Acquisto del libro

Coloured Petri Nets, Kurt Jensen, Lars M. Kristensen

Lingua
Pubblicato: 2014
product-detail.submit-box.info.binding: (In brossura)

Ti avviseremo via email non appena lo rintracceremo.

Metodi di pagamento

4,3

Molto buono

4 Valutazioni

Aggiungi una valutazione

Qui potrebbe esserci la tua recensione.

Titolo: Coloured Petri Nets
Sottotitolo: Modelling and Validation of Concurrent Systems
Lingua: Inglese
Autori: Kurt Jensen, Lars M. Kristensen
Editore: Springer Berlin Heidelberg
Pubblicato: 2014
Formato: In brossura
Pagine: 396
ISBN13: 9783642425813
Tag: Computer, IT, programmazione, Matematica
Valutazione: 4,25 su 5
Descrizione: The textbook focuses on Coloured Petri Nets (CPN) as a modelling language, detailing its constructs and analysis methods. It offers a practical guide for utilizing CPN, enriched by selected industrial case studies that illustrate real-world applications.