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

Sample CPN Models

Posted: January 8, 2018/Under: Getting started/By: admin

  • Bluetooth Network
  • Dining Philosophers Dining philosophers example
  • Distributed Database Distributed database example
  • Distributed Database Distributed database example
  • Dynamic MANET On-demand Routing Protocol
  • E6 Network Dynamic Routing
  • Edge Router Discovery Protocol
  • Ensemble Coordination for Discrete Event Control
  • Ethernet Network
  • Ethernet Network Parametric Models
  • Hierarchical Protocol Hierarchical protocol example
  • IP Network
  • Dining Philosophers Monitored Monitored dining philosophers example
  • MPLS Network
  • Protocol With Timer Protocol with timer
  • Provider Backbone Bridge
  • CP-net of a queue system Queue system configuration example
  • CP-net of a queue system Queue system example
  • Rectangular grid under disguised traffic attack
  • Rectangular Grid with Cut-through Switching Nodes
  • Reenterable Model of Provider Backbone Bridge
  • Reenterable Model of Rectangular Communication Grid
  • Reenterable Model of Rectangular Communication Grid with Cut-through Nodes
  • Screenshot of the net Resource allocation example
  • Screenshot of the net Resource allocation example
  • Ring Protocol Ring protocol example
  • Simple Protocol Simple protocol example
  • Simple Protocol Simple protocol example
  • Telephones Telephone example
  • Timed Protocol Timed protocol example
  • Timed Resource Allocation Timed resource allocation example

 

State-space Analysis

You must be logged in to post a 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

Tags

Bind manually Change Direction Clone Arc Clone Aux Clone Elements Clone FusionSetTag Clone Group Clone Inscription Clone monitor Clone Page Clone Transition Close Net Create aux text Delete Arc Delete Aux Delete Bendpoint Delete current marking Delete Decl Delete elements Delete FusionSetTag Delete Group Delete Guideline Delete Inscription Delete monitor Delete Page Delete Page Instance Delete PorttypeTag Delete Transition Disable Display Successors Enable Evaluate ML Fire Transition Move to subpage New Arc New block New Group New Page New Place New Transition Redo Save Net Save Net As Toggle Group Undo
  • Admin
CPN Tools 2023
Vega Wordpress Theme by LyraThemes