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, c2009.
Topics: Petri nets.
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