In all of the following and on all of these pages, we assume that you are familiar with colored 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

You must be logged in to post a comment.