Modeling with Coloured Petri Nets In all of the following and on all of these pages, we assume that you are familiar with coloured Petri nets and have at least some idea of constructing modules using the formalism. You can learn more about the modeling and the formalism in one or both of these books: The User Interface of CPN Tools First steps Graphical User […]