Search results for "CPN"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
195	Vijay Gehlot, Anush Hayrapetyan	Systems modeling and analysis using colored Petri Nets: a tutorial introduction and practical applications.	ACM Southeast Regional Conference	2007	DBLP DOI BibTeX RDF
165	Michael Westergaard, Lars Michael Kristensen	The Access/CPN Framework: A Tool for Interacting with the CPN Tools Simulator.	Petri Nets	2009	DBLP DOI BibTeX RDF
119	Kurt Jensen, Lars Michael Kristensen, Lisa Wells	Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems.	Int. J. Softw. Tools Technol. Transf.	2007	DBLP DOI BibTeX RDF	Simulation, Model checking, Verification, Performance analysis, Validation, Visualisation, Coloured Petri Nets, Discrete-event systems, State space methods, Behavioural modelling
97	Vitaly E. Kozura, Valery A. Nepomniaschy, Ruslan M. Novikov	Verification of Distributed Systems Modelled by High-Level Petri Nets.	PARELEC	2002	DBLP DOI BibTeX RDF
83	Baiqing Sun, Jilu Li	Recognition for the Banknotes Grade Based on CPN.	CSSE (1)	2008	DBLP DOI BibTeX RDF
83	Michel Beaudouin-Lafon, Wendy E. Mackay, Peter Andersen, Paul Janecek, Mads Jensen, Henry Michael Lassen, Kasper Lund, Kjeld Høyer Mortensen, Stephanie Munck, Anne V. Ratzer, Katrine Ravn, Søren Christensen, Kurt Jensen	CPN/Tools: A Post-WIMP Interface for Editing and Simulating Coloured Petri Nets.	ICATPN	2001	DBLP DOI BibTeX RDF
73	Jens Bæk Jørgensen, Søren Christensen	Executable Design Models for a Pervasive Healthcare Middleware System.	UML	2002	DBLP DOI BibTeX RDF	detailed behaviour, pervasive and mobile computing, supplementing UML, middleware, Petri nets, system design, Executable models, CPN
73	Yao Chen, Yuntao Qian	Semi-supervised Dynamic Counter Propagation Network.	ADMA	2006	DBLP DOI BibTeX RDF
73	Kjeld Høyer Mortensen	Automatic Code Generation Method Based on Coloured Petri Net Models Applied on an Access Control System.	ICATPN	2000	DBLP DOI BibTeX RDF
73	Lars Michael Kristensen, Søren Christensen, Kurt Jensen	The Practitioner's Guide to Coloured Petri Nets.	Int. J. Softw. Tools Technol. Transf.	1998	DBLP DOI BibTeX RDF	Practical use, Modelling, Verification, Validation, Visualisation, Tool support, Coloured Petri nets, High-level Petri nets
70	Dalton Serey Guerrero, Jorge C. A. de Figueiredo, Angelo Perkusich	An Object-Based Modular CPN Approach: Its Application to the Specification of a Cooperative Editing Environment.	Concurrent Object-Oriented Programming and Petri Nets	2001	DBLP DOI BibTeX RDF
61	Lars Michael Kristensen, Peter Mechlenborg, Lin Zhang, Brice Mitchell, Guy Edward Gallasch	Model-based development of a course of action scheduling tool.	Int. J. Softw. Tools Technol. Transf.	2008	DBLP DOI BibTeX RDF	Application of Coloured Petri nets, Scheduling, Methodologies, Tools, Command and control, State space analysis
61	Shijie Zhou, Zhiguang Qin, Feng Zhang, Xianfeng Zhang, Wei Chen, Jinde Liu	Colored Petri Net Based Attack Modeling.	RSFDGrC	2003	DBLP DOI BibTeX RDF
61	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
58	Wenjun Li, Xiao-jun Liang, Hua-mei Song, Xiaocong Zhou	QoS-Driven Service Composition Modeling with Extended Hierarchical CPN.	TASE	2007	DBLP DOI BibTeX RDF
58	Yoshiyuki Shinkawa	Inter-Model Consistency in UML Based on CPN Formalism.	APSEC	2006	DBLP DOI BibTeX RDF
58	Daqi Zhu, Yongqing Yang, Wuzhao Li	Blind Fault Diagnosis Algorithm for Integrated Circuit Based on the CPN Neural Networks.	ISNN (2)	2004	DBLP DOI BibTeX RDF
58	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
49	Anne Rozinat, R. S. Mans, Minseok Song 0001, Wil M. P. van der Aalst	Discovering colored Petri nets from event logs.	Int. J. Softw. Tools Technol. Transf.	2008	DBLP DOI BibTeX RDF
49	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
49	Guohua Wu, Xiaodong Zhou	A Fast Audio Digital Watermark Method Based on Counter-Propagation Neural Networks.	CSSE (3)	2008	DBLP DOI BibTeX RDF
49	Tzu-Chao Lin, Mu-Kun Liu, Chien-Ting Yeh	A New ART-LMS Neural Network for the Image Restoration.	ICONIP (2)	2008	DBLP DOI BibTeX RDF
49	Meuse N. Oliveira Jr., Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima, Angelo Ribeiro, César A. L. de Oliveira, Adilson Arcoverde, Raimundo S. Barreto, Eduardo Tavares, Leonardo Amorim	A Retargetable Environment for Power-Aware Code Evaluation: An Approach Based on Coloured Petri Net.	PATMOS	2005	DBLP DOI BibTeX RDF
49	Meuse N. Oliveira Jr., Paulo Romero Martins Maciel, Raimundo S. Barreto, Fernando F. Carvalho	Towards a Software Power Cost Analysis Framework Using Colored Petri Net.	PATMOS	2004	DBLP DOI BibTeX RDF
49	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
49	Jens Bæk Jørgensen	Coloured Petri Nets in Development of a Pervasive Health Care System.	ICATPN	2003	DBLP DOI BibTeX RDF
49	Kimiyuki Fukuzawa, Motoshi Saeki	Evaluating software architectures by coloured petrit nets.	SEKE	2002	DBLP DOI BibTeX RDF	evaluation and simulation, non-functional quality attribute, software architecture, coloured petri net
49	Erol Gelenbe, Ricardo Lent, Zhiguang Xu	Networking with Cognitive Packets.	ICANN	2002	DBLP DOI BibTeX RDF
49	Hamza Mazouzi, Amal El Fallah Seghrouchni, Serge Haddad	Open protocol design for complex interactions in multi-agent systems.	AAMAS	2002	DBLP DOI BibTeX RDF	distributed observation, protocol diagrams, formal specification, validation, colored petri nets, true concurrency, AUML
49	Vitaly E. Kozura	Unfoldings of Coloured Petri Nets.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
49	László Kovács, Gábor Terstyánszky	Boundary Region Sensitive Classification for the Counterpropagation Neural Network.	IJCNN (1)	2000	DBLP DOI BibTeX RDF	neural networks, classification, fault diagnosis, uncertainty, learning algorithms
49	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
48	Guy Edward Gallasch, Nimrod Lilith, Jonathan Billington, Lin Zhang, Axel Bender, Benjamin Francis	Modelling defence logistics networks.	Int. J. Softw. Tools Technol. Transf.	2008	DBLP DOI BibTeX RDF	Defence logistics, Modelling experience, CPN support tools, Coloured Petri nets
48	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
48	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
46	T. H. Fung	Specifications and Rapid Prototyping of Multi-agent Systems through Coloured Petri Net Represented in Abductive Logic Programming (CPN-LP).	Web Intelligence	2006	DBLP DOI BibTeX RDF
46	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
46	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
36	Jonathan Billington, Somsak Vanit-Anunchai, Guy Edward Gallasch	Parameterised Coloured Petri Net Channel Models.	Trans. Petri Nets Other Model. Concurr.	2009	DBLP DOI BibTeX RDF	Parameterized Protocol Channel Models, Datagram Congestion Control Protocol, Coloured Petri Nets, Reachability Analysis
36	Karolina Zurowska, Ralph Deters	Model Aware Execution of Composite Web Services.	IEEE SCC	2009	DBLP DOI BibTeX RDF
36	Carmen Bratosin, Wil M. P. van der Aalst, Natalia Sidorova, Nikola Trcka	A Reference Model for Grid Architectures and Its Analysis.	OTM Conferences (1)	2008	DBLP DOI BibTeX RDF	Computational grids, colored Petri nets, grid architecture
36	Erzsébet Németh, Tamás Bartha	Formal Verification of Safety Functions by Reinterpretation of Functional Block Based Specifications.	FMICS	2008	DBLP DOI BibTeX RDF
36	Mingqiu Song, Zhiguo Pang	Specification of SA-RBAC Policy Based on Colored Petri Net.	Web Intelligence/IAT Workshops	2008	DBLP DOI BibTeX RDF
36	Erol Gelenbe, Michael Gellman	Can Routing Oscillations be Good? The Benefits of Route-switching in Self-aware Networks.	MASCOTS	2007	DBLP DOI BibTeX RDF
36	Óscar R. Ribeiro, João M. Fernandes	Validation of Reactive Software from Scenario-Based Models.	QUATIC	2007	DBLP DOI BibTeX RDF
36	Hui Du, Renchu Gan, Kecheng Liu, Zhenji Zhang, Darren Booy	Method for Constructing Performance Annotation Model Based on Architecture Design of Information Systems.	CONFENIS (2)	2007	DBLP DOI BibTeX RDF	Annotation model, Performance, UML, Information system, Architecture design
36	Jiangbo Dang, Michael N. Huhns	Inferring, Validating, and Coordinating the Commitments in aWorkflow.	ICWS	2006	DBLP DOI BibTeX RDF
36	Bishwarup Mondal, Satyaki Dutta, Robert W. Heath Jr.	Quantization on the Complex Projective Space.	DCC	2006	DBLP DOI BibTeX RDF
36	Jianli Xu	Evaluating and Balancing Reliability and Performance Properties of Software Architecture Using Formal Modeling Techniques.	SEW	2006	DBLP DOI BibTeX RDF
36	Yi-Ming Chen 0008, Yung-Wei Kao	Information Flow Query and Verification for Security Policy of Security-Enhanced Linux.	IWSEC	2006	DBLP DOI BibTeX RDF	information flow, security policy, Colored Petri Nets, SELinux
36	Hong Jiang, Junzhong Gu, Qingsong Yu	Modeling of Web-based collaborative negotiation systems using colored Petri net.	MMM	2006	DBLP DOI BibTeX RDF
36	Wil M. P. van der Aalst, Jens Bæk Jørgensen, Kristian Bisgaard Lassen	Let's Go All the Way: From Requirements Via Colored Workflow Nets to a BPEL Implementation of a New Bank System.	OTM Conferences (1)	2005	DBLP DOI BibTeX RDF	Workflow Management, Business Process Management, Colored Petri Nets, BPEL4WS
36	Erol Gelenbe, Peixiang Liu	QoS and Routing in the Cognitive Packet Network.	WOWMOM	2005	DBLP DOI BibTeX RDF
36	Lars Michael Kristensen, Søren Christensen	Implementing Coloured Petri Nets Using a Functional Programming Language.	High. Order Symb. Comput.	2004	DBLP DOI BibTeX RDF	distributed and concurrent computation, programming environments and tools, Petri Nets, Coloured Petri Nets, high-level Petri Nets, implementation techniques
36	Ioan Cimpian, Alexandru Turjan, Ed F. Deprettere, Erwin A. de Kock	Communication Optimization in Compaan Process Networks.	SAMOS	2004	DBLP DOI BibTeX RDF
36	Erol Gelenbe, Michael Gellman, Ricardo Lent, Peixiang Liu, Pu Su	Autonomous Smart Routing for Network QoS.	ICAC	2004	DBLP DOI BibTeX RDF
36	Marc Bourcerie, Jean-Yves Morel	On the analysis and synthesis of coloured Petri nets.	SMC (2)	2004	DBLP DOI BibTeX RDF
36	Lin Liu 0003, Jonathan Billington	Obtaining the Service Language for H.245's Multimedia Capability Exchange Signalling Protocol: the Final Step.	MMM	2004	DBLP DOI BibTeX RDF	Multimedia Protocols, Recursive Service Language, Formal Methods, Automata, Coloured Petri Nets
36	Erol Gelenbe, Ricardo Lent, Alfonso Montuori, Zhiguang Xu	Cognitive Packet Networks: QoS and Performance.	MASCOTS	2002	DBLP DOI BibTeX RDF
36	Lin Liu 0003, 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
36	Masami Ito, Yoshiyuki Kunimochi	Some Petri Net Languages and Codes.	Developments in Language Theory	2001	DBLP DOI BibTeX RDF
36	Steen Andreassen, Leonard Leibovici, Henrik C. Schønheyder, Brian Kristensen, Christian Riekehr, Anders Geill Kjær, Kristian G. Olesen	A Decision Theoretic Approach to Empirical Treatment of Bacteraemia Originating from the Urinary Tract.	AIMDM	1999	DBLP DOI BibTeX RDF
36	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
36	Bo Lindstrom	Web-based interfaces for simulation of coloured Petri net models.	Int. J. Softw. Tools Technol. Transf.	2001	DBLP DOI BibTeX RDF	Batch simulations, CGI scripts, Design/CPN, Coloured Petri nets, Web interfaces, HTML forms
36	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
34	Yanlan Ding, Guiping Su	A Reduction method for Verification of Security Protocol through CPN.	ICNSC	2008	DBLP DOI BibTeX RDF
34	Lisa Wells	Performance analysis using CPN tools.	VALUETOOLS	2006	DBLP DOI BibTeX RDF	coloured petri nets
34	Alexandre Hamez, Lom Hillah, Fabrice Kordon, Alban Linard, Emmanuel Paviot-Adet, Xavier Renault, Yann Thierry-Mieg	New features in CPN-AMI 3: focusing on the analysis of complex distributed systems.	ACSD	2006	DBLP DOI BibTeX RDF
34	Erol Gelenbe, Ricardo Lent, Michael Gellman, Peixiang Liu, Pu Su	CPN and QoS Driven Smart Routing in Wired and Wireless Networks.	MASCOTS Tutorials	2003	DBLP DOI BibTeX RDF
25	Anshuman Mukherjee, Zahir Tari, Peter Bertók	A Spring Based Framework for Verification of Service Composition.	IEEE SCC	2011	DBLP DOI BibTeX RDF	Spring Framework, Verification, BPEL, CPN
25	Iraj Mahdavi, Shima Mohebbi, Namjae Cho, Rasoul Shafaei, Mahdi Zandakbari	Dynamic Information Flow for Designing Simultaneous Coordination Model in E-Supply Network.	NCM	2009	DBLP DOI BibTeX RDF	Supply network, Simultaneous coordination, Multi-agent system, CPN
25	Manuel Wimmer, Angelika Kusel, Johannes Schönböck, Gerti Kappel, Werner Retschitzegger, Wieland Schwinger	Reviving QVT Relations: Model-Based Debugging Using Colored Petri Nets.	MoDELS	2009	DBLP DOI BibTeX RDF	QVT Relations, Debugging, Model Transformations, CPN
25	Xiaofeng Liu, Xiaofei Xu, Shengchun Deng	A Petri-net-Based Simulation and Optimization approach for IEM and EI.	IESA	2009	DBLP DOI BibTeX RDF	IEM, Petri net, Business process, Enterprise modeling, Enterprise model, Enterprise Interoperability, CPN
25	Alexandre Scaico, Maria de Fátima Queiroz Vieira, Marckson R. F. de Sousa, Charles Santoni	Investigating System Navigation Ergonomics through Model Verification.	DSV-IS	2008	DBLP DOI BibTeX RDF	safety critical interfaces, Model based design, CPN
25	Jia Zhang	Extended Collaboration Description Language (X-CODL).	EDOC	2006	DBLP DOI BibTeX RDF	X-CODL, collaboration coordination, verification, CPN
24	Suriadi Suriadi, Chun Ouyang 0001, Jason Smith 0001, Ernest Foo	Modeling and Verification of Privacy Enhancing Protocols.	ICFEM	2009	DBLP DOI BibTeX RDF
24	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
24	Weiguo Li, Ruoyu Wu, He Huang	Colored Petri Nets Based Modeling of Information Flow Security.	WKDD	2009	DBLP DOI BibTeX RDF
24	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
24	Jens Bæk Jørgensen, Kristian Bisgaard Lassen, Wil M. P. van der Aalst	From task descriptions via colored Petri nets towards an implementation of a new electronic patient record workflow system.	Int. J. Softw. Tools Technol. Transf.	2008	DBLP DOI BibTeX RDF	Executable use cases, Workflow management, Colored Petri nets, YAWL
24	Florian Gottschalk, Wil M. P. van der Aalst, Monique H. Jansen-Vullers, H. M. W. Verbeek	Protos2CPN: using colored Petri nets for configuring and testing business processes.	Int. J. Softw. Tools Technol. Transf.	2008	DBLP DOI BibTeX RDF
24	Kristian Bisgaard Lassen, Simon Tjell	Model-based requirements analysis for reactive systems with UML sequence diagrams and coloured petri nets.	Innov. Syst. Softw. Eng.	2008	DBLP DOI BibTeX RDF	VDM++, Real-time, Requirements engineering, Coloured petri nets, UML 2.0
24	Jin Wei, Guiping Su, Meng Xu	An Integrated Model to Analyze Cryptographic Protocols with Colored Petri Nets.	HASE	2008	DBLP DOI BibTeX RDF
24	Kristian L. Espensen, Mads K. Kjeldsen, Lars Michael Kristensen	Modelling and Initial Validation of the DYMO Routing Protocol for Mobile Ad-Hoc Networks.	Petri Nets	2008	DBLP DOI BibTeX RDF	System design and verification using nets, experience with using nets, application of nets to protocols and networks, case studies, higher-level net models
24	Lay G. Ding, Lin Liu 0003	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
24	Hong Feng Lai, J. L. Hong, Wang Han Jeng	Model E-contract Update by Coloured Activity Net.	APSCC	2008	DBLP DOI BibTeX RDF
24	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
24	Simon Tjell, João M. Fernandes	Expressing Environment Assumptions and Real-time Requirements for a Distributed Embedded System with Shared Variables.	DIPES	2008	DBLP DOI BibTeX RDF
24	Guy Edward Gallasch, Benjamin Francis, Christopher Moon, Jonathan Billington	Modelling personnel within a defence logistics maintenance process.	SimuTools	2008	DBLP DOI BibTeX RDF	models of personnel, maintenance, coloured petri nets, simulation performance
24	Eduardo Alves Portela Santos, Eduardo de Freitas Rocha Loures, Fernando Deschamps, Marco Antonio Busetti de Paula	Proposal of an industrial information system model for automatic performance evaluation.	ETFA	2008	DBLP DOI BibTeX RDF
24	Brice Mitchell, Lars Michael Kristensen, Lin Zhang	Formal specification and state space analysis of an operational planning process.	Int. J. Softw. Tools Technol. Transf.	2007	DBLP DOI BibTeX RDF	Design and analysis of business processes, Business process modelling, Coloured petri nets
24	Robert G. Pettit IV, Hassan Gomaa	Analyzing Behavior of Concurrent Software Designs for Embedded Systems.	ISORC	2007	DBLP DOI BibTeX RDF
24	Masaki Ishii, Kazuhito Sato, Hirokazu Madokoro, Makoto Nishida	Generation of facial expression map based on topological characteristics of face images.	SMC	2007	DBLP DOI BibTeX RDF
24	Yi-hong Dong, Chao Sun, Xiaoying Tai	An Adaptive Counter Propagation Network.	SNPD (2)	2007	DBLP DOI BibTeX RDF	Counter propagation network, Neural Network, Adaptive
24	Ahmed Bouajjani, Yan Jurski, Mihaela Sighireanu	A Generic Framework for Reasoning About Dynamic Networks of Infinite-State Processes.	TACAS	2007	DBLP DOI BibTeX RDF
24	Jiangbo Dang, Jingshan Huang, Michael N. Huhns	Workflow coordination for service-oriented multiagent systems.	AAMAS	2007	DBLP DOI BibTeX RDF	workflow validation, agent, coordination, commitment
24	Haiyang Sun, Jian Yang 0001	BTx-Net: A Token Based Dynamic Model for Supporting Consistent Collaborative Business Transactions.	IEEE SCC	2007	DBLP DOI BibTeX RDF
24	Leonardo Amorim, Paulo Romero Martins Maciel, Meuse N. Nogueira Jr., Raimundo S. Barreto, Eduardo Tavares	Mapping live sequence chart to coloured petri nets for analysis and verification of embedded systems.	ACM SIGSOFT Softw. Eng. Notes	2006	DBLP DOI BibTeX RDF
24	Jens Bæk Jørgensen, Søren Christensen, Antti-Pekka Tuovinen, Jianli Xu	Tool Support for Estimating the Memory Usage of Mobile Phone Software.	Int. J. Softw. Tools Technol. Transf.	2006	DBLP DOI BibTeX RDF	Formal methods in practice, UML, Embedded systems, Coloured Petri nets, Industrial case study
24	Meuse N. Oliveira Jr., Silvino Neto, Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima, Angelo Ribeiro, Raimundo S. Barreto, Eduardo Tavares, Frederico Braga	Analyzing Software Performance and Energy Consumption of Embedded Systems by Probabilistic Modeling: An Approach Based on Coloured Petri Nets.	ICATPN	2006	DBLP DOI BibTeX RDF