Search results for "Coloured Petri Nets"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Nick C. Russell, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede	Designing a Workflow System Using Coloured Petri Nets.	T. Petri Nets and Other Models of Concurrency	2009	DBLP DOI BibTeX RDF	newYAWL, business process management, coloured Petri nets, workflow patterns, workflow technology
3	Olivier Bertrand, Patrice Carle, Christine Choppy	Modelling chronicle recognition for distributed simulation processing with coloured Petri nets.	SimuTools	2009	DBLP DOI BibTeX RDF	airport simulation, chronicle recognition formal modelling, distributed simulation processing, HLA, coloured petri nets
3	Christine Choppy, Olivier Bertrand, Patrice Carle	Coloured Petri Nets for Chronicle Recognition.	Ada-Europe	2009	DBLP DOI BibTeX RDF	chronicle recognition formal modelling, distributed simulation processing, coloured Petri nets
3	Jonathan Billington, Amar Kumar Gupta, Guy Edward Gallasch	Modelling and Analysing the Contract Net Protocol - Extension Using Coloured Petri Nets.	FORTE	2008	DBLP DOI BibTeX RDF	Verification, extension, Coloured Petri Nets, Contract Net Protocol
3	Paul Fleischer, Lars Michael Kristensen	Modelling the configuration/management API middleware using coloured petri nets.	SimuTools	2008	DBLP DOI BibTeX RDF	CPN tools, modelling, middleware, coloured petri nets, software specification
3	Christine Choppy, Laure Petrucci, Gianna Reggio	A Modelling Approach with Coloured Petri Nets.	Ada-Europe	2008	DBLP DOI BibTeX RDF	coloured Petri nets, modular design, modelling method, specification method
3	Kurt Jensen, Lars Michael Kristensen, Lisa Wells	Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems.	STTT	2007	DBLP DOI BibTeX RDF	Simulation, Model checking, Verification, Performance analysis, Validation, Visualisation, Coloured Petri Nets, Discrete-event systems, State space methods, Behavioural modelling
3	Tom Kontogiannis	Integration of task networks and cognitive user models using coloured Petri nets and its application to job design for safety and productivity.	Cognition, Technology & Work	2005	DBLP DOI BibTeX RDF	Task networks, Human reliability, Job design, Safety, Cognitive modelling, Coloured Petri nets
3	Francisco Camargo-Santacruz, Juan Frausto Solís, Fernando Ramos-Quintana	Modeling Multiple Interactions Using Coloured Petri Nets: A Case Study.	ISSADS	2005	DBLP DOI BibTeX RDF	Multi-Agent Systems, Interaction, E-Business, Coloured Petri Nets, Agent-Based Software Engineering, Cooperative Information Systems
3	Lars Michael Kristensen, Søren Christensen	Implementing Coloured Petri Nets Using a Functional Programming Language.	Higher-Order and Symbolic Computation	2004	DBLP DOI BibTeX RDF	distributed and concurrent computation, programming environments and tools, Petri Nets, Coloured Petri Nets, high-level Petri Nets, implementation techniques
3	Frank P. Burns, Albert Koelmans, Alexandre Yakovlev	Analysing Superscalar Processor Architectures with Coloured Petri Nets.	STTT	1998	DBLP DOI BibTeX RDF	Asynchronous processors, Modelling, Real-time systems, Worst case execution time, Coloured Petri nets, Superscalar processors
3	Gilles Moncelet, Søren Christensen, Hamid Demmou, Mario Paludetto, José Porras	Analysing a Mechatronic System with Coloured Petri Nets.	STTT	1998	DBLP DOI BibTeX RDF	Quantitative and qualitative analysis, Mechatronic systems, Hybrid systems, Coloured Petri nets, State space analysis
3	Lars Michael Kristensen, Søren Christensen, Kurt Jensen	The Practitioner's Guide to Coloured Petri Nets.	STTT	1998	DBLP DOI BibTeX RDF	Practical use, Modelling, Verification, Validation, Visualisation, Tool support, Coloured Petri nets, High-level Petri nets
3	Søren Christensen, Kjeld Høyer Mortensen	Teaching Coloured Petri Nets- A Gentle Introduction to Formal Methods in a Distributed Systems Course.	ICATPN	1997	DBLP DOI BibTeX RDF	Topics Educational issues related to nets, experience with using nets, applications of nets to protocols, distributed systems, case studies, Coloured Petri Nets
3	D. J. Floreani, Jonathan Billington, A. J. Dadej	Designing and Verifying a Communications Gateway Using Coloured Petri Nets and Design/CPN.	Application and Theory of Petri Nets	1996	DBLP DOI BibTeX RDF	Gateway Architecture, Coloured Petri Nets, Protocol Modelling
3	Søren Christensen, Niels Damgaard Hansen	Coloured Petri Nets Extended with Channels for Synchronous Communication.	Application and Theory of Petri Nets	1994	DBLP DOI BibTeX RDF	re-usable models, invariant analysis, Coloured Petri nets, channels, synchronous communication, modular specifications
3	Kurt Jensen	An Introduction to the Theoretical Aspects of Coloured Petri Nets.	REX School/Symposium	1993	DBLP DOI BibTeX RDF	Petri Nets, Coloured Petri Nets, High-level Petri Nets
3	Peter Huber, Kurt Jensen, Robert M. Shapiro	Hierarchies in coloured Petri nets.	Applications and Theory of Petri Nets	1989	DBLP DOI BibTeX RDF	re-usable components, hierarchies, Coloured Petri Nets, structuring mechanisms, subnets, high-level nets
2	Jens Bæk Jørgensen, Simon Tjell, João M. Fernandes	Formal requirements modelling with executable use cases and coloured Petri nets.	ISSE	2009	DBLP DOI BibTeX RDF	Requirements and specifications, Requirements engineering, Model-driven development, Coloured Petri nets, Platform-independent models
2	Panupong Sornkhom, Yongyuth Permpoontanalarp	Security analysis of Micali's fair contract signing protocol by using Coloured Petri Nets : Multi-session case.	IPDPS	2009	DBLP DOI BibTeX RDF
2	Hamid Hajabdolali Bazzaz, Marjan Sirjani, Ramtin Khosravi, Shamim Taheri	Modeling networking issues of network-on-chip: a coloured petri nets approach.	SimuTools	2009	DBLP DOI BibTeX RDF	modeling, network-on-chip, coloured petri nets
2	Juan de Lara, Esther Guerra	Formal Support for QVT-Relations with Coloured Petri Nets.	MoDELS	2009	DBLP DOI BibTeX RDF
2	Karolina Zurowska, Ralph Deters	Load management in model-aware execution of composite web services.	SAC	2009	DBLP DOI BibTeX RDF	models, performance, coloured petri nets, composite web services
2	Jonathan Billington, Cong Yuan	On Modelling and Analysing the Dynamic MANET On-Demand (DYMO) Routing Protocol.	T. Petri Nets and Other Models of Concurrency	2009	DBLP DOI BibTeX RDF	DYMO, MANETs, Coloured Petri Nets, Reachability Analysis, On-Demand Routing
2	Fabien Bonnefoi, Christine Choppy, Fabrice Kordon	A Discretization Method from Coloured to Symmetric Nets: Application to an Industrial Example.	T. Petri Nets and Other Models of Concurrency	2009	DBLP DOI BibTeX RDF	Symmetric Petri Nets, Hybrid Systems, Intelligent Transport Systems, Discretization, Coloured Petri Nets
2	Kristian Bisgaard Lassen, Simon Tjell	Model-based requirements analysis for reactive systems with UML sequence diagrams and coloured petri nets.	ISSE	2008	DBLP DOI BibTeX RDF	VDM++, Real-time, Requirements engineering, Coloured petri nets, UML 2.0
2	Lars Michael Kristensen, Kurt Jensen	Teaching Modelling and Validation of Concurrent Systems Using Coloured Petri Nets.	T. Petri Nets and Other Models of Concurrency	2008	DBLP DOI BibTeX RDF
2	Valery A. Nepomniaschy, Dmitri M. Beloglazov, Tatiana G. Churina, Mikhail Mashukov	Using Coloured Petri Nets to Model and Verify Telecommunications Systems.	CSR	2008	DBLP DOI BibTeX RDF
2	Lay G. Ding, Lin Liu	Modelling and Analysis of the INVITE Transaction of the Session Initiation Protocol Using Coloured Petri Nets.	Petri Nets	2008	DBLP DOI BibTeX RDF	Session Initiation Protocol, Coloured Petri Nets, protocol verification
2	Willy Picard	Modelling Multithreaded Social Protocols with Coloured Petri Nets.	Virtual Enterprises and Collaborative Networks	2008	DBLP DOI BibTeX RDF
2	Panupong Sornkhom, Yongyuth Permpoontanalarp	Security Analysis of Micali's Fair Contract Signing Protocol by Using Coloured Petri Nets.	SNPD	2008	DBLP DOI BibTeX RDF	Formal methods for Cryptographic protocols, Fair Contract Signing Protocols
2	Zobeideh Aliannezhadi, Mohammad Abdollahi Azgomi	Modeling and Analysis of a Web Service Firewall Using Coloured Petri Nets.	APSCC	2008	DBLP DOI BibTeX RDF
2	Leonardo Rodríguez Urrego, Emilio García Moreno, Francisco José Morant Anglada, Antonio Correcher Salvador, Eduardo Quiles Cucarella	Application of latent nestling method using Coloured Petri Nets for the Fault Diagnosis in the wind turbine subsets.	ETFA	2008	DBLP DOI BibTeX RDF
2	Djamel Benmerzoug, Fabrice Kordon, Mahmoud Boufaïda	A Petri-Net Based Formalisation of Interaction Protocols Applied to Business Process Integration.	CIAO! / EOMAS	2008	DBLP DOI BibTeX RDF	Multi-agent Systems, Coloured Petri Nets, Interaction Protocols, Business Processes Integration
2	Michael Pedersen, Gordon D. Plotkin	A Language for Biochemical Systems.	CMSB	2008	DBLP DOI BibTeX RDF	parametrised modules, subtyping, coloured Petri nets, Large-scale
2	Lars Michael Kristensen, Peter Mechlenborg, Lin Zhang, Brice Mitchell, Guy Edward Gallasch	Model-based development of a course of action scheduling tool.	STTT	2008	DBLP DOI BibTeX RDF	Application of Coloured Petri nets, Scheduling, Methodologies, Tools, Command and control, State space analysis
2	Valery A. Nepomniaschy, Gennady I. Alekseev, Victor S. Argirov, Dmitri M. Beloglazov, Alexandre V. Bystrov, Eugene A. Chetvertakov, Tatiana G. Churina, Sergey P. Mylnikov, Ruslan M. Novikov	Application of Modified Coloured Petri Nets to Modeling and Verification of SDL Specified Communication Protocols.	CSR	2007	DBLP DOI BibTeX RDF
2	João M. Fernandes, Jens Bæk Jørgensen, Simon Tjell	Requirements Engineering for Reactive Systems: Coloured Petri Nets for an Elevator Controller.	APSEC	2007	DBLP DOI BibTeX RDF
2	Somsak Vanit-Anunchai, Jonathan Billington	Modelling the Datagram Congestion Control Protocol's Connection Management and Synchronization Procedures.	ICATPN	2007	DBLP DOI BibTeX RDF	Formal Specification, Internet Protocols, Coloured Petri Nets, DCCP
2	Jonathan Billington, Bing Han	Modelling and analysing the functional behaviour of TCP's connection management procedures.	STTT	2007	DBLP DOI BibTeX RDF	TCP connection management, Termination property, Deadlocks, Coloured Petri Nets, State space analysis
2	Lin Liu, Jonathan Billington	Verification of the Capability Exchange Signalling protocol.	STTT	2007	DBLP DOI BibTeX RDF	Capability Exchange Signalling protocol, Language equivalence, Coloured Petri Nets, Protocol verification, State space analysis
2	Brice Mitchell, Lars Michael Kristensen, Lin Zhang	Formal specification and state space analysis of an operational planning process.	STTT	2007	DBLP DOI BibTeX RDF	Design and analysis of business processes, Business process modelling, Coloured petri nets
2	Katrin Winkelmann, Holger Luczak	Prospective Analysis of Cooperative Provision of Industrial Services Using Coloured Petri Nets.	ICATPN	2006	DBLP DOI BibTeX RDF
2	Zhuomin Du, Yanxiang He	Plan Specification of Multi-agent based on Coloured Petri Nets.	AINA	2006	DBLP DOI BibTeX RDF
2	Belynda Brahimi, Christophe Aubrun, Eric Rondeau	Modelling and Simulation of Scheduling Policies Implemented in Ethernet Switch by Using Coloured Petri Nets.	ETFA	2006	DBLP DOI BibTeX RDF
2	Lisa Wells	Performance analysis using CPN tools.	VALUETOOLS	2006	DBLP DOI BibTeX RDF	coloured petri nets
2	Simon Tjell	Model-Based Analysis of a Windmill Communication System.	DIPES	2006	DBLP DOI BibTeX RDF	Real-time systems, performance analysis, communication protocol, Coloured Petri Nets
2	Guy Edward Gallasch, Jonathan Billington	A Parametric State Space for the Analysis of the Infinite Class of Stop-and-Wait Protocols.	SPIN	2006	DBLP DOI BibTeX RDF	Stop and Wait Protocols, Infinite Families of Systems, Parametric Reachability Graphs, Coloured Petri Nets
2	Jens Bæk Jørgensen, Søren Christensen, Antti-Pekka Tuovinen, Jianli Xu	Tool Support for Estimating the Memory Usage of Mobile Phone Software.	STTT	2006	DBLP DOI BibTeX RDF	Formal methods in practice, UML, Embedded systems, Coloured Petri nets, Industrial case study
2	Lisa Wells, Thomas Maier	Specifying and Analyzing Software Safety Requirements of a Frequency Converter Using Coloured Petri Nets.	ICATPN	2005	DBLP DOI BibTeX RDF
2	Éric Garcia, Julien Henriet, Jean-Christophe Lapayre	Modelization of a Communication Protocol for CSCW Systems Using Coloured Petri Nets.	CDVE	2005	DBLP DOI BibTeX RDF
2	Zhengli Zhai, Lei Zhou, Yang Yang, Zhimin Tian	A Multi-agent Framework for Grid Service Workflow Embedded with Coloured Petri Nets.	GCC	2005	DBLP DOI BibTeX RDF
2	Guy Edward Gallasch, Jonathan Billington	Using Parametric Automata for the Verification of the Stop-and-Wait Class of Protocols.	ATVA	2005	DBLP DOI BibTeX RDF	Stop and Wait Protocols, Symbolic Automata, Language Equivalence, Coloured Petri Nets, Parametric Verification, Symbolic Reachability Graphs
2	Somsak Vanit-Anunchai, Jonathan Billington, Tul Kongprakaiwoot	Discovering Chatter and Incompleteness in the Datagram Congestion Control Protocol.	FORTE	2005	DBLP DOI BibTeX RDF	Internet Protocols, Coloured Petri Nets, State space methods, DCCP
2	Guy Edward Gallasch, Bing Han, Jonathan Billington	Sweep-Line Analysis of TCP Connection Management.	ICFEM	2005	DBLP DOI BibTeX RDF	TCP Connection Management, Sweep-line analysis, Verification, Coloured Petri Nets, Reachability analysis, State Space methods
2	Lars Michael Kristensen, Michael Westergaard, Peder Christian Nørgaard	Model-Based Prototyping of an Interoperability Protocol for Mobile Ad-Hoc Networks.	IFM	2005	DBLP DOI BibTeX RDF	Model-driven prototyping, mobile ad-hoc network, animation, Coloured Petri Nets
2	Marc Bourcerie, Jean-Yves Morel	On the analysis and synthesis of coloured Petri nets.	SMC	2004	DBLP DOI BibTeX RDF
2	Ella E. Roubtsova	Property specification for coloured Petri nets.	SMC	2004	DBLP DOI BibTeX RDF
2	Lars Michael Kristensen, Laure Petrucci	An Approach to Distributed State Space Exploration for Coloured Petri Nets.	ICATPN	2004	DBLP DOI BibTeX RDF
2	María José Polo Martín, Luis Antonio Miguel Quintales, María N. Moreno García	A Framework for the Modelling and Simulation of Distributed Transaction Processing Systems Using Coloured Petri Nets.	ICATPN	2004	DBLP DOI BibTeX RDF
2	João Paulo Barros, Luís Gomes	On the Use of Coloured Petri Nets for Object-Oriented Design.	ICATPN	2004	DBLP DOI BibTeX RDF
2	Chun Ouyang, Jonathan Billington	An improved formal specification of the Internet Open Trading Pprotocol.	SAC	2004	DBLP DOI BibTeX RDF	Internet trading protocols, specification and analysis, formal methods, e-commerce, coloured petri nets
2	Maryam Purvis, Martin K. Purvis, Azhar Haidar, Bastin Tony Roy Savarimuthu	A Distributed Workflow System with Autonomous Components.	PRIMA	2004	DBLP DOI BibTeX RDF	adaptability, coloured Petri nets, interaction protocols, dynamic workflow, autonomous components
2	Jens Bæk Jørgensen	Coloured Petri Nets in Development of a Pervasive Health Care System.	ICATPN	2003	DBLP DOI BibTeX RDF
2	Kurt Jensen	Coloured Petri Nets: Status and Outlook.	ICATPN	2003	DBLP DOI BibTeX RDF
2	Anne V. Ratzer, Lisa Wells, Henry Michael Lassen, Mads Laursen, Jacob Frank Qvortrup, Martin Stig Stissing, Michael Westergaard, Søren Christensen, Kurt Jensen	CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets.	ICATPN	2003	DBLP DOI BibTeX RDF
2	Krzysztof Juszczyszyn	Verifying Enterprise's Mandatory Access Control Policies with Coloured Petri Nets.	WETICE	2003	DBLP DOI BibTeX RDF
2	Søren Christensen, Jens Bæk Jørgensen	Teaching Coloured Petri Nets: Examples of Courses and Lessons Learned.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
2	Lars Michael Kristensen, Jens Bæk Jørgensen, Kurt Jensen	Application of Coloured Petri Nets in System Development.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
2	Jonathan Billington, Guy Edward Gallasch	How Stop and Wait Protocols Can Fail over the Internet.	FORTE	2003	DBLP DOI BibTeX RDF	Stop and Wait Protocols, Protocol Analysis and Verification, TCP, Coloured Petri Nets, State space methods
2	Zbigniew Suraj, Krzysztof Pancerz	A Synthesis of Concurrent Systems: A Rough Set Approach.	RSFDGrC	2003	DBLP DOI BibTeX RDF	minimal rules, Information systems, knowledge discovery, coloured Petri nets, concurrent systems
2	Louise Lorentsen, Antti-Pekka Tuovinen, Jianli Xu	Modelling of Features and Feature Interactions in Nokia Mobile Phones Using Coloured Petri Nets.	ICATPN	2002	DBLP DOI BibTeX RDF
2	Lisa Wells	Performance Analysis Using Coloured Petri Nets.	MASCOTS	2002	DBLP DOI BibTeX RDF
2	Kyller Costa Gorgônio, Angelo Perkusich	Adaptation of Coloured Petri Nets Models of Software Artifacts for Reuse.	ICSR	2002	DBLP DOI BibTeX RDF	supervisory control theory, models adaptation and reuse, model checking, Formal specification, Petri nets, temporal logic
2	Angelo Furfaro, Libero Nigro, Francesco Pupo	Distributed Simulation of Timed Coloured Petri Nets.	DS-RT	2002	DBLP DOI BibTeX RDF
2	Lin Liu, Jonathan Billington	Tackling the Infinite State Space of a Multimedia Control Protocol Service Specification.	ICATPN	2002	DBLP DOI BibTeX RDF	Multimedia Networks and Protocols, Incremental State Space Algorithms, Parameterization, Coloured Petri Nets, Service Definitions
2	Thomas Mailund	Analysing Infinite-State Systems by Combining Equivalence Reduction and the Sweep-Line Method.	ICATPN	2002	DBLP DOI BibTeX RDF	Timed Coloured Petri Nets, Infinite-State Systems, State Space Analysis, Reduction Techniques
2	Vitaly E. Kozura	Unfoldings of Coloured Petri Nets.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
2	Michel Beaudouin-Lafon, Wendy E. Mackay, Mads Jensen, Peter Andersen, Paul Janecek, Henry Michael Lassen, Kasper Lund, Kjeld Høyer Mortensen, Stephanie Munck, Anne V. Ratzer, Katrine Ravn, Søren Christensen, Kurt Jensen	CPN/Tools: A Tool for Editing and Simulating Coloured Petri Nets ETAPS Tool Demonstration Related to TACAS.	TACAS	2001	DBLP DOI BibTeX RDF
2	Libero Nigro, Francesco Pupo	Schedulability Analysis of Real Time Actor Systems Using Coloured Petri Nets.	Concurrent Object-Oriented Programming and Petri Nets	2001	DBLP DOI BibTeX RDF	Design/CPN, Real Time, Modularity, Actors, Temporal Analysis, Occurrence Graphs
2	Christoph Maier, Daniel Moldt	Object Coloured Petri Nets - A Formal Technique for Object Oriented Modeling.	Concurrent Object-Oriented Programming and Petri Nets	2001	DBLP DOI BibTeX RDF
2	Bo Lindstrom	Web-based interfaces for simulation of coloured Petri net models.	STTT	2001	DBLP DOI BibTeX RDF	Batch simulations, CGI scripts, Design/CPN, Coloured Petri nets, Web interfaces, HTML forms
2	Louise Lorentsen, Lars Michael Kristensen	Modelling and Analysis of a DANFOSS Flowmeter System Using Coloured Petri Nets.	ICATPN	2000	DBLP DOI BibTeX RDF
2	Steven Gordon, Jonathan Billington	Analysing the WAP Class 2 Wireless Transaction Protocol Using Coloured Petri Nets.	ICATPN	2000	DBLP DOI BibTeX RDF
2	Innocent Bakam, Fabrice Kordon, Christophe Le Page, François Bousquet	Formalization of a Spatialized Multiagent Model Using Coloured Petri Nets for the Study of an Hunting Management System.	FAABS	2000	DBLP DOI BibTeX RDF
2	Martin K. Purvis, Maryam Purvis, Selena Lemalu	An adaptive distributed workflow system framework.	APSEC	2000	DBLP DOI BibTeX RDF	adaptive distributed workflow system, document exchange, Petri nets, CORBA, software tools, distributed databases, business processes, coloured Petri nets, business data processing, workflow management systems, distributed information system, graph colouring, distributed object management, workflow management software, distributed object technology
2	Steven Gordon, Jonathan Billington	Modelling the WAP Transaction Service using Coloured Petri Nets.	MDA	1999	DBLP DOI BibTeX RDF
2	Olaf Kummer, Daniel Moldt, Frank Wienberg	Symmetric Communication between Coloured Petri Net Simulations and Java-Processes.	ICATPN	1999	DBLP DOI BibTeX RDF	Design/CPN, Java, Workflow, Framework, Prototyping, Distributed Simulation, Coloured Petri Nets, Computer Tools
2	Andrew Tokmakoff, Jonathan Billington	An Approach to the Analysis of Interworking Traders.	ICATPN	1999	DBLP DOI BibTeX RDF	ODP Trader, Coloured Petri Nets, Scenario Analysis, Interworking
2	Steven Gordon, Jonathan Billington	Analysing a Missile Simulator with Coloured Petri Nets.	STTT	1998	DBLP DOI BibTeX RDF	Missile simulator design, Simulation, Distributed systems, Coloured Petri nets, Reachability analysis
2	Lars Michael Kristensen, Antti Valmari	Finding Stubborn Sets of Coloured Petri Nets Without Unfolding.	ICATPN	1998	DBLP DOI BibTeX RDF
2	Eike Best, Thomas Thielke	Orthogonal Transformations for Coloured Petri Nets.	ICATPN	1997	DBLP DOI BibTeX RDF
2	Søren Christensen, Jens Bæk Jørgensen	Analysing Bang & Olufsen's BeoLink® Audio/Video System Using Coloured Petri Nets.	ICATPN	1997	DBLP DOI BibTeX RDF	Topics System design and verification using nets, experience with using nets, application of nets to protocols and embedded systems, case studies, higher-level net models, computer tools for nets
2	Jens Linneberg Rasmussen, Mejar Singh	Designing a Security System by Means of Coloured Petri Nets.	Application and Theory of Petri Nets	1996	DBLP DOI BibTeX RDF
2	Jens Bæk Jørgensen, Kjeld Høyer Mortensen	Modelling and Analysis of Distributed Program Execution in BETA Using Coloured Petri Nets.	Application and Theory of Petri Nets	1996	DBLP DOI BibTeX RDF	Topics System design and verification using nets, experience with using nets, application of nets to protocols, case studies, higher-level net models, computer tools for nets
2	Charles Lakos	From Coloured Petri Nets to Object Petri Nets.	Application and Theory of Petri Nets	1995	DBLP DOI BibTeX RDF	Theory of High-Level Petri Nets, Multiple Levels of Abstraction, Object-Orientation
2	Simon C. K. Shiu, James N. K. Liu, Daniel S. Yeung	Modelling Hybrid Rule/Frame-Based Expert Systems Using Coloured Petri Nets.	IEA/AIE	1995	DBLP BibTeX RDF	expert system modelling, verification, artificial intelligence, coloured Petri nets
2	Arkady B. Zaslavsky, L. H. Yeo, Simon J. Lai, Boris Mitelman	Petri nets analysis of transaction and submitter management protocols in mobile distributed computing environment.	ICCCN	1995	DBLP DOI BibTeX RDF	Petri nets analysis, transaction management protocols, submitter management protocols, mobile distributed computing environment, transaction queuing protocol, message queuing protocol, mobile workstations, distributed multidatabase environment, Design/CPN software tool, hierarchical coloured Petri nets, transaction processing algorithms, message processing algorithms, simulation results, simulation model, workstations, protocol verification, protocol implementation
2	Wil M. P. van der Aalst	Using Interval Timed Coloured Petri Nets to Calculate Performance Bounds.	Computer Performance Evaluation	1994	DBLP DOI BibTeX RDF
2	Gérard Berthelot, Hanifa Boucheneb	Occurrence Graphs for Interval Timed Coloured Nets.	Application and Theory of Petri Nets	1994	DBLP DOI BibTeX RDF	interval timed coloured Petri nets, occurrence graph