Location & Availability for: Coloured petri nets : modelling and vali

 Staff view

You must be logged in to Tag Records

Coloured petri nets : modelling and validation of concurrent systems /

Kurt Jensen, Lars M. Kristensen.

Book Cover
Main Author: Jensen, K.
Other Names: Kristensen, Lars M.
Published: Dordrecht ; Springer, ©2009.
Topics: Petri nets. | COMPUTERS - Programming - Open Source. | COMPUTERS - Software Development & Engineering - Tools. | COMPUTERS - Software Development & Engineering - General. | Informatique.
Genres: Electronic books.
Tags: Add


Spaces will separate tags.
Use quotes for multi-word tags.


Loading Holdings Data ... Loading

Location & Availability for: Coloured petri nets : modelling and vali