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
  • Contact

Michael’s blog on CPN Tools

  • CPN Tools demo at Petri nets 2001 (2017/04/05 21:38)
  • Nested Transactions and Dining Philosophers (2017/03/07 18:32)
  • It’s not hoarding (2017/01/16 20:32)
  • Is Google’s Go-bot a Breakthrough for Artificial Intelligence? (2016/03/25 22:12)
  • Improved Paradigm for Analysis, Verification and Data Retention of CPNs using CPNaaS (2015/05/25 00:09)

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

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 2022
Vega Wordpress Theme by LyraThemes