CPN Tools
  • Downloads
    • 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
    • Support form
  • Contact

Tasks in CPN Tools

Posted: January 16, 2018/Under: Uncategorized/By: admin

Editing a CPN

  • Add/edit declarations
  • Add/edit inscriptions
  • Adding places, transitions, and arcs
  • Anti places/limit places
  • Cloning
  • Close a net
  • Create a new net
  • Deep cloning
  • Edit style attributes
  • Edit text
  • Edit the layout
  • Editing a CPN
  • Errors in net structure
  • Exceptions
  • Graphical feedback
  • Groups
  • Inhibitor arcs
  • Load a net
  • Long click
  • Magnetic guidelines
  • Move and pan, multiple views
  • Naming policy
  • Queues and stacks
  • Resize, pan, and zoom
  • Save a net
  • Syntax checking

Performance analysis

  • Calculating statistics
  • Data collector functions
  • Independent and identically distributed values
  • Output management
  • Output management functions
  • Performance options functions
  • Performance output

Simulation

  • Change marking during simulation
  • Errors during simulation
  • Limitations
  • Manually choose bindings
  • Run a Simulation
  • Simulation feedback
  • Simulation replications
  • Simulation report
  • Simulation stop criteria
  • Simulator functions

Verification

  • Attributes and options in state space tool
  • Calculating the state space
  • Draw state spaces with CPN Tools
  • Draw State Spaces with Graphviz
  • Enter the state space tool
  • Limitations
  • Make state space queries
  • Nondeterministic nets
  • Saving a standard state space report
  • State space functions
  • States and state space nodes
  • Temporal logic for state spaces
Concepts
Other tools

You must be logged in to post a comment.

Categories

  • Documentation
    • Color sets
    • Colors
    • Common constructs
    • Compound color sets
    • Concepts
    • Create, lead, and save
    • 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
    • Auxiliary tools
    • Create tools
    • Hierarchy tools
    • Index
    • Marking menu
    • Monitoring tools
    • Net tools
    • Other tools
    • Palette tools
    • Simulation tools
    • State space tools
    • Style tools
    • View tools
  • Home
  • Knowledge base
    • Articles
    • Common problems
    • Compatibility
    • Concepts
    • Documentation
    • Topics
  • Licenses
  • Support
    • All bug reports
    • All feature requests
    • Completed bug reports
    • Completed feature requests
    • Declined bug reports
    • Declined feature requests
    • Planned bug reports
    • Planned feature requests
    • Started feature requests
    • Undecided bug reports
    • Under review bug reports
    • Under review feature requests
  • Uncategorized

Tags

Add surrounding places Add surrounding transitions Assign to socket Bind manually Clone Elements Clone monitor Clone Page Clone Place Clone PorttypeTag Clone Transition Close Net Create aux text Delete Delete Bendpoint Delete Decl Delete elements Delete Page Delete Page Instance Delete Place Delete PorttypeTag Delete SSNode Delete Transition Disable Display Predecessors Display Successors Drop Tool Enable Evaluate ML Fire Transition Help Load Net New Arc New block New Group New Net New Page New Place New Transition Redo Replace by subpage Save Net Save Net As Show SubPage Toggle Group Undo
  • Admin
CPN Tools 2021
Vega Wordpress Theme by LyraThemes