Kurt Jensen,Lars Lyngsgaard Fjord Kristensen: Coloured Petri Nets: Modelling and Validation of Concurrent Systems
____________________________
Author: Kurt Jensen,Lars Lyngsgaard Fjord Kristensen
Number of Pages: 384 pages
Published Date: 02 Nov 2014
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Publication Country: Berlin, Germany
Language: English
ISBN: 9783642425813
Download Link: Click Here
____________________________