The book is currently out of stock

Coloured Petri Nets

Modelling and Validation of Concurrent Systems

Authors

Book rating

4.3(4)Add rating

Parameters

Pages: 396 pages
Reading time: 14 hours

More about the book

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.

Publication

Book purchase

Coloured Petri Nets, Kurt Jensen, Lars M. Kristensen

Language
Released: 2014
product-detail.submit-box.info.binding: (Paperback)

We’ll notify you via email once we track it down.

Payment methods

4.3

Very Good

4 Ratings

Add rating

We’re missing your review here.

Title: Coloured Petri Nets
Subtitle: Modelling and Validation of Concurrent Systems
Language: English
Authors: Kurt Jensen, Lars M. Kristensen
Publisher: Springer Berlin Heidelberg
Released: 2014
Format: Paperback
Pages: 396
ISBN13: 9783642425813
Tags: Computers, IT, Programming, Mathematics
Rating: 4.25 out of 5
Description: 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.