Coloured Petri Nets: Modelling and Validation of Concurrent Systems

Kurt Jensen and Lars Kirstensen

Coloured Petri Nets: Modelling and Validation of Concurrent Systems - Springer 2014

9783642425813

This Site Maintained by Central Library, IIT DharwadFor any Queries / Suggestions Please Contact us @Phone: (0836) 221 2824; e-mail: librarian@iitdh.ac.in

This Site is Best Viewed with Mozilla Firefox.