CPN Tools
Downloads
Downloads
CPN IDE downloads
Licenses
Getting started
Getting started
Modeling With Colored Petri Nets
The User Interface of CPN Tools
New in CPN Tools 4
Simulation
Editing
State space analysis
Sample CPN Models
Documentation
Documentation
Graphical User Interface
Tasks in CPN Tools
Concepts
Colors
External communications and libraries
Hierarchy
Time
Publications
Support
Support
FAQ
Feature Requests
Bug Reports
Contact
Tag: Set default
Option marking menu
This menu appears when some option in the index is right-clicked. Set default
Posted: January 9, 2018
Under:
Marking menu
Read Me
Leave comment
CPN Tools has been replaced now by
CPN IDE
. Development on CPN Tools has stopped.
Categories
Home
Documentation
Create, lead, and save
Color sets
Colors
Common constructs
Compound color sets
Concepts
Declarations
Editing a CPN
Editing the net structure
Examples contributed by CPN Group
Examples contributed by Dmitry A. Zaitsev
Examples contributed by John C. Sloan
Examples contributed by Tatiana R. Shmeleva
Exceptions
External communications and libraries
Graphical layout
Hierarchy
Inscriptions
Introductory examples
Monitoring examples
Monitors
Multisets
Performance analysis
Queue system monitors
Random distribution functions
Real-life examples
Sample CPN Models
Simple color sets
Simple protocols
Simulation
State space analysis
State space analysis examples
Syntax checking
Tasks in CPN Tools
Time
Downloads
FAQ
Analyzing CP-nets
Editing CP-nets
Installing CPN Tools
Manuals
Miscellaneous
Problems
First steps
Getting started
GUI
Index
Marking menu
Other tools
Palette tools
Auxiliary tools
Create tools
Hierarchy tools
Monitoring tools
Net tools
Simulation tools
State space tools
Style tools
View tools
Knowledge base
Articles
Topics
Common problems
Compatibility
Concepts
Documentation
Licenses
Support
All feature requests
Completed feature requests
Started feature requests
Planned feature requests
Under review feature requests
Declined feature requests
All bug reports
Completed bug reports
Planned bug reports
Undecided bug reports
Under review bug reports
Declined bug reports
Uncategorized
