Electronic Notes in Theoretical Computer Science (ENTCS)
INCOME2010 - a toolset for developing process-oriented information systems based on petri nets
Proceedings of the 1st international conference on Simulation tools and techniques for communications, networks and systems & workshops
Modelling the configuration/management API middleware using coloured petri nets
Proceedings of the 1st international conference on Simulation tools and techniques for communications, networks and systems & workshops
Modelling personnel within a defence logistics maintenance process
Proceedings of the 1st international conference on Simulation tools and techniques for communications, networks and systems & workshops
An investigation of credit-based flow control protocols
Proceedings of the 1st international conference on Simulation tools and techniques for communications, networks and systems & workshops
A Modelling Approach with Coloured Petri Nets
Ada-Europe '08 Proceedings of the 13th Ada-Europe international conference on Reliable Software Technologies
Modelling and Analysing the Contract Net Protocol - Extension Using Coloured Petri Nets
FORTE '08 Proceedings of the 28th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
PETRI NETS '08 Proceedings of the 29th international conference on Applications and Theory of Petri Nets
Modelling and Initial Validation of the DYMO Routing Protocol for Mobile Ad-Hoc Networks
PETRI NETS '08 Proceedings of the 29th international conference on Applications and Theory of Petri Nets
PETRI NETS '08 Proceedings of the 29th international conference on Applications and Theory of Petri Nets
Parametric Language Analysis of the Class of Stop-and-Wait Protocols
PETRI NETS '08 Proceedings of the 29th international conference on Applications and Theory of Petri Nets
PETRI NETS '08 Proceedings of the 29th international conference on Applications and Theory of Petri Nets
Formal Modeling and Scheduling of Datapaths of Digital Document Printers
FORMATS '08 Proceedings of the 6th international conference on Formal Modeling and Analysis of Timed Systems
Towards modelling and analysis of a coordination protocol for dynamic software adaptation
CSTST '08 Proceedings of the 5th international conference on Soft computing as transdisciplinary science and technology
Workflow Simulation for Operational Decision Support Using Design, Historic and State Information
BPM '08 Proceedings of the 6th International Conference on Business Process Management
Information Supply Mechanisms in Ubiquitous Computing, Crisis Management and Workflow Modelling
HCSE-TAMODIA '08 Proceedings of the 2nd Conference on Human-Centered Software Engineering and 7th International Workshop on Task Models and Diagrams
Teaching Modelling and Validation of Concurrent Systems Using Coloured Petri Nets
Transactions on Petri Nets and Other Models of Concurrency I
Evaluating a Data Removal Strategy for Grid Environments Using Colored Petri Nets
OPODIS '08 Proceedings of the 12th International Conference on Principles of Distributed Systems
Fundamenta Informaticae - PETRI NETS 2007
Information Systems
Verification of Business Process Entailment Constraints Using SPIN
ESSoS '09 Proceedings of the 1st International Symposium on Engineering Secure Software and Systems
Security Analysis of Role Based Access Control Models Using Colored Petri Nets and CPNtools
Transactions on Computational Science IV
Workflow simulation for operational decision support
Data & Knowledge Engineering
WMUPS '09 Proceedings of the 2009 Workshop on Middleware for Ubiquitous and Pervasive Systems
A compact CPN representation for embedded and control systems fault diagnosis and recovery
SEPADS'09 Proceedings of the 8th WSEAS International Conference on Software engineering, parallel and distributed systems
An infrastructure for experience centered agile prototyping of ambient intelligence
Proceedings of the 1st ACM SIGCHI symposium on Engineering interactive computing systems
Towards a Standard for Modular Petri Nets: A Formalisation
PETRI NETS '09 Proceedings of the 30th International Conference on Applications and Theory of Petri Nets
A Model Driven Approach to the Analysis of Timeliness Properties
ECMDA-FA '09 Proceedings of the 5th European Conference on Model Driven Architecture - Foundations and Applications
Web service composition process verification methods
Proceedings of the 46th Annual Southeast Regional Conference on XX
ACM Transactions on Computer-Human Interaction (TOCHI)
Modelling and Validation of Secure Connection Establishment in a Generic Access Network Scenario
Fundamenta Informaticae - Petri Nets 2008
CASE'09 Proceedings of the fifth annual IEEE international conference on Automation science and engineering
Formal Support for QVT-Relations with Coloured Petri Nets
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
TAPAAL: Editor, Simulator and Verifier of Timed-Arc Petri Nets
ATVA '09 Proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis
Modeling and Verification of Privacy Enhancing Protocols
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
An Efficient Translation of Timed-Arc Petri Nets to Networks of Timed Automata
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Efficient state-based analysis by introducing bags in Petri nets color domains
ACC'09 Proceedings of the 2009 conference on American Control Conference
Estimating delays in networked control systems using colored Petri nets and Markov chain models
ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation
An extendable system for conceptual modeling and simulation of signal transduction pathways
ER'07 Proceedings of the 2007 conference on Advances in conceptual modeling: foundations and applications
A methodology to specify three-dimensional interaction using Petri Nets
Journal of Visual Languages and Computing
OPENET: Ontology-based engine for high-level Petri nets
Expert Systems with Applications: An International Journal
Ontology-driven analysis of UML-based collaborative processes using OWL-DL and CPN
Science of Computer Programming
Task scheduling modelling and reliability evaluation of grid services using coloured Petri nets
Future Generation Computer Systems
Verification of the SIP transaction using coloured petri nets
ACSC '09 Proceedings of the Thirty-Second Australasian Conference on Computer Science - Volume 91
Business trend analysis by simulation
CAiSE'10 Proceedings of the 22nd international conference on Advanced information systems engineering
A formal approach to enforcing consistency in self-adaptive systems
ECSA'10 Proceedings of the 4th European conference on Software architecture
Time prediction based on process mining
Information Systems
Formal verification of UML state diagrams: a petri net based approach
ACM SIGSOFT Software Engineering Notes
Model interoperability via Model Driven Development
Journal of Computer and System Sciences
Situation prediction nets: playing the token game for ontology-driven situation awareness
ER'10 Proceedings of the 29th international conference on Conceptual modeling
The APEX framework: prototyping of ubiquitous environments based on Petri nets
HCSE'10 Proceedings of the Third international conference on Human-centred software engineering
Model-driven design-space exploration for embedded systems: the octopus toolset
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I
Verification of printer datapaths using timed automata
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
A simulation-based software design framework for network-centric and parallel systems
Programming Support Innovations for Emerging Distributed Applications
A model transformation approach for verifying multi-agent systems using SPIN
Proceedings of the 2011 ACM Symposium on Applied Computing
Robotics and Computer-Integrated Manufacturing
Schedule-aware workflow management systems
Transactions on Petri nets and other models of concurrency IV
Winter Simulation Conference
Service Oriented Computing and Applications
Analyzing web service choreography specifications using colored Petri nets
DESRIST'11 Proceedings of the 6th international conference on Service-oriented perspectives in design science research
A tool for automated test code generation from high-level petri nets
PETRI NETS'11 Proceedings of the 32nd international conference on Applications and theory of Petri Nets
Towards IT systems capable of managing their health
FOCS'10 Proceedings of the 16th Monterey conference on Foundations of computer software: modeling, development, and verification of adaptive systems
A semantic model for many-core parallel computing
COCOA'11 Proceedings of the 5th international conference on Combinatorial optimization and applications
Proceedings of the 9th International Conference on Computational Methods in Systems Biology
Original Articles: Coloured Petri net scheduling models: Timed state space exploration shortages
Mathematics and Computers in Simulation
Supporting the internet-based evaluation of research software with cloud infrastructure
Software and Systems Modeling (SoSyM)
Modeling grid workflow by coloured grid service net
GPC'10 Proceedings of the 5th international conference on Advances in Grid and Pervasive Computing
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
A two-level approach for modeling and verification of telecommunication systems
PSI'09 Proceedings of the 7th international Andrei Ershov Memorial conference on Perspectives of Systems Informatics
History-Dependent stochastic petri nets
PSI'09 Proceedings of the 7th international Andrei Ershov Memorial conference on Perspectives of Systems Informatics
Modelling railway interlocking tables using coloured petri nets
COORDINATION'10 Proceedings of the 12th international conference on Coordination Models and Languages
Formal methods for modeling, refining and verifying autonomic components of computer networks
Transactions on Computational Science XV
People transfer in city transport modeled via CPN
EUROCAST'11 Proceedings of the 13th international conference on Computer Aided Systems Theory - Volume Part I
Dynamic context-aware and limited resources-aware service adaptation for pervasive computing
Advances in Software Engineering
Strongly consistent transformation of partial scenarios
ACM SIGSOFT Software Engineering Notes
Modeling and analyzing the impact of authorization on workflow executions
Future Generation Computer Systems
A virtual deployment testing environment for enterprise software systems
Proceedings of the 8th international ACM SIGSOFT conference on Quality of Software Architectures
Formal analysis of ubiquitous computing environments through the APEX framework
Proceedings of the 4th ACM SIGCHI symposium on Engineering interactive computing systems
A concurrency-preserving translation from time Petri nets to networks of timed automata
Formal Methods in System Design
Modeling and simulation of a re-entrant manufacturing system using Colored Petri Nets
Proceedings of the 45th Annual Simulation Symposium
HTCPNs---Based modelling and evaluation of dynamic computer cluster reconfiguration
CEE-SET'09 Proceedings of the 4th IFIP TC 2 Central and East European conference on Advances in Software Engineering Techniques
Command & control wind tunnel integration and overview
SIW '09 Proceedings of the 2009 SISO European Simulation Interoperability Workshop
Modelling and Validation of Secure Connection Establishment in a Generic Access Network Scenario
Fundamenta Informaticae - Petri Nets 2008
Fundamenta Informaticae - PETRI NETS 2007
Defining composition operators for BPMN
SC'12 Proceedings of the 11th international conference on Software Composition
A process for continuous validation of self-adapting component based systems
Proceedings of the 7th Workshop on Models@run.time
Automated verification of model transformations based on visual contracts
Automated Software Engineering
A hybrid approach for adaptive car navigation
ICONIP'12 Proceedings of the 19th international conference on Neural Information Processing - Volume Part III
WorMS- a framework to support workflows in M&S
Proceedings of the Winter Simulation Conference
An introduction to systems modeling and simulation with colored petri nets
Proceedings of the Winter Simulation Conference
A key event path analysis approach for integrated systems
Modelling and Simulation in Engineering
Specification and analysis of access control policies for mobile applications
Proceedings of the 18th ACM symposium on Access control models and technologies
Attack trace generation of cryptographic protocols based on coloured Petri nets model
International Journal of Wireless and Mobile Computing
Formal description of multi-touch interactions
Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive computing systems
Start time and duration distribution estimation in semi-structured processes
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems
Validation environment of UML2 IOD based on hierarchical coloured Petri nets
International Journal of Computer Applications in Technology
Analysis of object-specific authorization protocol (OSAP) using coloured petri nets
AISC '12 Proceedings of the Tenth Australasian Information Security Conference - Volume 125
International Journal of Business Intelligence and Data Mining
A cylinder computation model for many-core parallel computing
Theoretical Computer Science
Multiscale Modeling and Analysis of Planar Cell Polarity in the Drosophila Wing
IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB)
Verification of OSPF vulnerabilities by colored Petri net
Proceedings of the 6th International Conference on Security of Information and Networks
Analyzing and completing middleware designs for enterprise integration using coloured petri nets
CAiSE'13 Proceedings of the 25th international conference on Advanced Information Systems Engineering
HCI'13 Proceedings of the 15th international conference on Human-Computer Interaction: human-centred design approaches, methods, tools, and environments - Volume Part I
Diagnosing correctness of semantic workflow models
Data & Knowledge Engineering
Auto-design systematic methodology of cluster MPSoC for multiple concurrent applications
International Journal of Computer Applications in Technology
DPMine/P: modeling and process mining language and ProM plug-ins
Proceedings of the 9th Central & Eastern European Software Engineering Conference in Russia
Modeling membrane systems using colored stochastic Petri nets
Natural Computing: an international journal
Colored Petri Net model with automatic parallelization on real-time multicore architectures
Journal of Systems Architecture: the EUROMICRO Journal
Agent-based cloud workflow execution
Integrated Computer-Aided Engineering - Anniversary Volume: Celebrating 20 Years of Excellence
Hi-index | 0.00 |
Coloured Petri Nets (CPNs) is a language for the modelling and validation of systems in which concurrency, communication, and synchronisation play a major role. Coloured Petri Nets is a discrete-event modelling language combining Petri nets with the functional programming language Standard ML. Petri nets provide the foundation of the graphical notation and the basic primitives for modelling concurrency, communication, and synchronisation. Standard ML provides the primitives for the definition of data types, describing data manipulation, and for creating compact and parameterisable models. A CPN model of a system is an executable model representing the states of the system and the events (transitions) that can cause the system to change state. The CPN language makes it possible to organise a model as a set of modules, and it includes a time concept for representing the time taken to execute events in the modelled system. CPN Tools is an industrial-strength computer tool for constructing and analysing CPN models. Using CPN Tools, it is possible to investigate the behaviour of the modelled system using simulation, to verify properties by means of state space methods and model checking, and to conduct simulation-based performance analysis. User interaction with CPN Tools is based on direct manipulation of the graphical representation of the CPN model using interaction techniques, such as tool palettes and marking menus. A license for CPN Tools can be obtained free of charge, also for commercial use.