Cover Image
Read Now

1
by Jensen, Kurt, Kristensen, Lars M.
Published 2009
Springer Berlin Heidelberg
Table of Contents: “...to Modelling and Validation -- Non-hierarchical Coloured Petri Nets -- CPN ML Programming -- Formal...”
Cover Image
Read Now

2
by Jensen, Kurt
Published 1992
Springer Berlin Heidelberg
Table of Contents: “... of Coloured Petri Nets -- 6 Computer Tools for Coloured Petri Nets -- 7 Industrial Applications of Coloured...”
Cover Image
Read Now

3
Published 2013
Springer Berlin Heidelberg
Table of Contents: “... -- Applications of Coloured Petri Nets for Functional Validation of Protocol Designs -- Business Process Modeling...”
Cover Image
Read Now

4
by Jensen, Kurt
Published 1996
Springer Berlin Heidelberg
Table of Contents: “... of Coloured Petri Nets -- 6 Computer Tools for Coloured Petri Nets -- 7 Industrial Applications of Coloured...”
Cover Image
Read Now

5
Published 1991
Springer Berlin Heidelberg
Table of Contents: “...24. Modeling, Validation and Software Implementation of Production Systems Using High Level Petri...”
Cover Image
Read Now

6
by Jensen, Kurt
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... -- 16.2 CPN Model of Network Management System -- 16.3 Validation of Network Management System -- 16.4...”