Toolglass and magic lenses: the see-through interface
SIGGRAPH '93 Proceedings of the 20th annual conference on Computer graphics and interactive techniques
User learning and performance with marking menus
CHI '94 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Tool support for designing context-sensitive user interfaces using a model-based approach
TAMODIA '05 Proceedings of the 4th international workshop on Task models and diagrams
Process modeling for simulation
Computers in Industry
Process modelling support for the conceptual modelling phase of a simulation project
Proceedings of the 38th conference on Winter simulation
Deriving protocol specifications from service specifications written as predicate/transition-nets
Computer Networks: The International Journal of Computer and Telecommunications Networking
A formal modeling approach for supply chain event management
Decision Support Systems
Coding Mobile Synchronizing Petri Nets into Rewriting Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
Modeling and analysis of core-centric network processors
ACM Transactions on Embedded Computing Systems (TECS)
Production-process modelling based on production-management data: a Petri-net approach
International Journal of Computer Integrated Manufacturing
Modeling and analysis of core-centric network processors
ACM Transactions on Embedded Computing Systems (TECS)
Modeling and verification of the SDL-specified communication protocols using high-level Petri nets
Programming and Computing Software
Designing Case Handling Systems
Transactions on Petri Nets and Other Models of Concurrency I
Information Systems
Load transformation of Markovian arrival processes: methods and tool support
Proceedings of the 3rd International Conference on Performance Evaluation Methodologies and Tools
Modeling networking issues of network-on-chip: a coloured petri nets approach
Proceedings of the 2nd International Conference on Simulation Tools and Techniques
An integrated tool for development of overlay services
Proceedings of the 2nd International Conference on Simulation Tools and Techniques
An infrastructure for experience centered agile prototyping of ambient intelligence
Proceedings of the 1st ACM SIGCHI symposium on Engineering interactive computing systems
A Critical Review on Modelling Formalisms and Simulation Tools in Computational Biosystems
IWANN '09 Proceedings of the 10th International Work-Conference on Artificial Neural Networks: Part II: Distributed Computing, Artificial Intelligence, Bioinformatics, Soft Computing, and Ambient Assisted Living
SEA '07 Proceedings of the 11th IASTED International Conference on Software Engineering and Applications
Process modeling for simulation
Computers in Industry
Optimal number of pallets for reconfigurable cyclic manufacturing plants
ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation
Thread allocation in CMP-based multithreaded network processors
Parallel Computing
Modeling business contexture and behavior using business artifacts
CAiSE'07 Proceedings of the 19th international conference on Advanced information systems engineering
The ComBack method: extending hash compaction with backtracking
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
Using coloured petri nets to model and verify telecommunications systems
CSR'08 Proceedings of the 3rd international conference on Computer science: theory and applications
A formal model for performance and energy evaluation of embedded systems
EURASIP Journal on Embedded Systems - Special issue on networked embedded systems for energy management and buildings
Towards formal specification of the service in the IEEE 802.16 MAC layer for connection management
CIMMACS '10 Proceedings of the 9th WSEAS international conference on computational intelligence, man-machine systems and cybernetics
Hierarchical performance measurement and modeling of the linux file system
Proceedings of the 2nd ACM/SPEC International Conference on Performance engineering
Handling concept drift in process mining
CAiSE'11 Proceedings of the 23rd international conference on Advanced information systems engineering
Requirements and method for assessment of service interoperability
ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
Geist3D, a simulation tool for geometry-driven petri nets
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
Transforming BPEL to petri nets
BPM'05 Proceedings of the 3rd international conference on Business Process Management
High-level nets with nets and rules as tokens
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
Protos 7.0: simulation made accessible
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
A perspective on explicit state space exploration of coloured petri nets: past, present, and future
PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets
The sweep-line state space exploration method
Theoretical Computer Science
Parallel file system measurement and modeling using colored petri nets
ICPE '12 Proceedings of the 3rd ACM/SPEC International Conference on Performance Engineering
PETRI NETS'12 Proceedings of the 33rd international conference on Application and Theory of Petri Nets
CSR'07 Proceedings of the Second international conference on Computer Science: theory and applications
Protecting Satellite Systems from Disassociation DoS Attacks
Wireless Personal Communications: An International Journal
Validation environment of UML2 IOD based on hierarchical coloured Petri nets
International Journal of Computer Applications in Technology
A component-based end-to-end simulation of the Linux file system
Software and Systems Modeling (SoSyM)
Hi-index | 0.00 |
CPN Tools is a tool for editing, simulating and analysing Coloured Petri Nets. The GUI is based on advanced interaction techniques, such as toolglasses, marking menus, and bi-manual interaction. Feedback facilities provide contextual error messages and indicate dependency relationships between net elements. The tool features incremental syntax checking and code generation which take place while a net is being constructed. A fast simulator efficiently handles both untimed and timed nets. Full and partial state spaces can be generated and analysed, and a standard state space report contains information such as boundedness properties and liveness properties. The functionality of the simulation engine and state space facilities are similar to the corresponding components in Design/CPN, which is a widespread tool for Coloured Petri Nets.