Colored nets External Communication and Libraries Hierarchy Timed Nets
The index is located in the left side of the CPN Tools window: The index contains: Tool box: A list of all the palettes available available in CPN Tools. Help: Links to CPN Tools Documentation, Homepage for CPN Tools, Report Bug and other web pages Options: Various options for, e.g. simulation Net overviews: Overviews of the nets that are currently open in the tool. A […]
Marking menus are invoked by pressing with the right mouse button on any element on the screen. The menu is context sensitive: its content depends on where the cursor is located. For example, pressing the right button in the title bar of a binder brings the Binder marking menu: Releasing the button makes the marking menu disappear. Marking menus are circular, with items arranged like […]
A tool palette is a stationary collection of tools from where you can pick up a tool to apply somewhere in the workspace. All tool palettes are accessible in the index under the Tool box entry. Drag a tool palette onto the workspace to open it. You can place several tool palettes in the same binder to keep the tools you need together and save […]
Colored Petri nets and CPN Tools Books W.M.P. van der Aalst and C. Stahl. Modeling Business Processes — A Petri Net-Oriented Approach. The MIT Press, 2011. K. Jensen and L.M. Kristensen. Coloured Petri Nets — Modeling and Validation of Concurrent Systems. Springer-Verlag Berlin, 2009. Articles M. Westergaard and L.M. Kristensen. The Access/CPN Framework: A Tool for Interacting with the CPN Tools Simulator. Proc. of 30th […]
This page provides a brief introduction to timed CPNs and related concepts. Nature of simulated time In order to understand how time is represented in a CPN, we must first distinguish clearly between real time and simulated time. Real time is just that: time in the real physical world in which the simulator executes a model and we can watch what happens. Simulated time is […]