Search results for "Colored Petri Nets"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Hind Rakkay, Hanifa Boucheneb	Security Analysis of Role Based Access Control Models Using Colored Petri Nets and CPNtools.	Transactions on Computational Science	2009	DBLP DOI BibTeX RDF	CPNtools, security formal verification, RBAC, Colored Petri nets
3	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.	STTT	2008	DBLP DOI BibTeX RDF	Executable use cases, Workflow management, Colored Petri nets, YAWL
3	Binsan Khadka, Boleslaw Mikolajczak	Incorporating Object-Orientedness in Transformations from Live Sequence Charts to Colored Petri Nets.	ITNG	2008	DBLP DOI BibTeX RDF	Colored Petri Nets, Live Sequence Charts
3	Maryam Nooraee Abadeh, Kamran Zaminifar, Mohammad-Reza Khayyambashi	Coordinating Agents Plans in Multi-Agent Systems Using Colored Petri Nets.	PRIMA	2008	DBLP DOI BibTeX RDF	Agent Plan, Multi-Agent System, Dependency, Colored Petri Nets, Coordination Mechanism
3	Binsan Khadka, Boleslaw Mikolajczak	Transformation from live sequence charts to colored Petri nets.	SCSC	2007	DBLP DOI BibTeX RDF	loosely coupled distributed systems, colored petri nets, message sequence charts, live sequence charts
3	Kees M. van Hee, Olivia Oanea, Natalia Sidorova	Colored Petri Nets to Verify Extended Event-Driven Process Chains.	OTM Conferences	2005	DBLP DOI BibTeX RDF	Extended EPCs, verification, semantics, colored Petri nets
3	Jens Bæk Jørgensen, Lars Michael Kristensen	Computer Aided Verification of Lamport's Fast Mutual Exclusion Algorithm Using Colored Petri Nets and Occurrence Graphs with Symmetries.	IEEE Trans. Parallel Distrib. Syst.	1999	DBLP DOI BibTeX RDF	Modelling and analysis of distributed systems, formal verification, symmetries, mutual exclusion, colored Petri nets, high-level Petri nets, state spaces, occurrence graphs
3	Jianli Xu, Juha Kuusela	Analyzing the Execution Architecture of Mobile Phone Software with Colored Petri Nets.	STTT	1998	DBLP DOI BibTeX RDF	Execution archi-tecture, Modeling, Performance, Software architecture, Colored Petri nets
3	Yamina Sami, Guy Vidal-Naquet	Formalisation of the Behavior of Actors by Colored Petri Nets and Some Applications.	PARLE	1991	DBLP DOI BibTeX RDF	static systems, dynamic systems, parallel languages, actors, colored Petri nets
2	Rza Bashirov, Fabrice Kordon, Hüseyin Lort	Exploiting colored Petri nets to decide on permutation admissibility.	Acta Inf.	2009	DBLP DOI BibTeX RDF
2	Boleslaw Mikolajczak, Abhishek Singh	TransCPN - Software Tool for Transformation of Colored Petri Nets.	ITNG	2009	DBLP DOI BibTeX RDF	abstractions and reductions in Petri nets, validation and development, verification, Colored Petri nets, software specification
2	Meng Xu, Guiping Su, Jin Wei	A General Model Checking Method of Electronic Transaction Protocols Using Colored Petri Nets.	HIS	2009	DBLP DOI BibTeX RDF	model checking, E-Commerce, Colored Petri Nets
2	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
2	Weiguo Li, Ruoyu Wu, He Huang	Colored Petri Nets Based Modeling of Information Flow Security.	WKDD	2009	DBLP DOI BibTeX RDF
2	Elhillali Kerkouche, Allaoua Chaoui, Khaled Khalfaoui	Transforming UML models to colored petri nets models using graph grammars.	ISCC	2009	DBLP DOI BibTeX RDF
2	Manuel Wimmer, Angelika Kusel, Thomas Reiter, Werner Retschitzegger, Wieland Schwinger, Gerti Kappel	Lost in Translation? Transformation Nets to the Rescue!	UNISCON	2009	DBLP DOI BibTeX RDF	Model transformation, Colored Petri Nets, runtime model
2	Vijay Sahota, Maozhen Li, Mark A. Baker, Nick Antonopoulos	A grouped P2P network for scalable grid information services.	Peer-to-Peer Networking and Applications	2009	DBLP DOI BibTeX RDF	P2P modeling, Globus MDS4, Grid computing, Colored Petri Nets, Information services
2	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.	STTT	2008	DBLP DOI BibTeX RDF
2	Jin Wei, Guiping Su, Meng Xu	An Integrated Model to Analyze Cryptographic Protocols with Colored Petri Nets.	HASE	2008	DBLP DOI BibTeX RDF
2	Nikola Trcka, Wil M. P. van der Aalst, Carmen Bratosin, Natalia Sidorova	Evaluating a Data Removal Strategy for Grid Environments Using Colored Petri Nets.	OPODIS	2008	DBLP DOI BibTeX RDF
2	Hehua Zhang, Ming Gu, Xiaoyu Song	Modeling and analysis of stage machinery control systems by timed colored Petri nets.	SIES	2008	DBLP DOI BibTeX RDF
2	Xiao-li Bai, Xue-shan Luo, Xiao-hui Bai, Xian-qing Yi, Hong-hui Chen, De-ke Guo	Study of DoD Architecture Simulation Validation based on UML and Extended Colored Petri Nets.	ICNSC	2008	DBLP DOI BibTeX RDF
2	Chih-Ping Chu, Yi-Chun Chang	A Model for Behavioral Patterns in Web-Based Learning Environments.	AINA	2008	DBLP DOI BibTeX RDF	web-based learning system, Colored Petri Nets, behavioral pattern
2	Usman Farooq, Chiou Peng Lam, Huaizhong Li	Towards Automated Test Sequence Generation.	Australian Software Engineering Conference	2008	DBLP DOI BibTeX RDF	Model Based Testing, Colored Petri Nets, Activity Diagram
2	Dharmalingam Ganesan, Thorsten Keuler, Yutaro Nishimura	Architecture Compliance Checking at Runtime: An Industry Experience Report.	QSIC	2008	DBLP DOI BibTeX RDF	architecture compliance checking, hierarchical colored Petri nets, run-time monitoring
2	Maja Pesic, Wil M. P. van der Aalst	Modelling work distribution mechanisms using Colored Petri Nets.	STTT	2007	DBLP DOI BibTeX RDF
2	Xinguo Deng, Ziyu Lin, Weiqing Chen, Ruliang Xiao, Lina Fang, Ling Li	Modeling Web Service Choreography and Orchestration with Colored Petri Nets.	SNPD	2007	DBLP DOI BibTeX RDF
2	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
2	Sami Evangelista, Jean-François Pradat-Peyre	On the Computation of Stubborn Sets of Colored Petri Nets.	ICATPN	2006	DBLP DOI BibTeX RDF
2	Jianli Xu	Using Colored Petri Nets and Tools to Support Mobile Terminal and Network Software Development.	ICATPN	2006	DBLP DOI BibTeX RDF
2	Bhushan Bauskar, Boleslaw Mikolajczak	Abstract Node Method for Integration of Object Oriented Design with Colored Petri Nets.	ITNG	2006	DBLP DOI BibTeX RDF
2	Zhao-Li Zhang, Fan Hong, Junguo Liao	Modeling Chinese Wall Policy Using Colored Petri Nets.	CIT	2006	DBLP DOI BibTeX RDF	Chinese Wall Policy, Security, Verification, Colored Petri Nets
2	Ole Martin Dahl, Stephen D. Wolthusen	Modeling and Execution of Complex Attack Scenarios using Interval Timed Colored Petri Nets.	IWIA	2006	DBLP DOI BibTeX RDF
2	Yi-Ming Chen, 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
2	Rza Bashirov, Valentino Crespi	Quantitative Analysis of Permutation Capability with Colored Petri Nets.	MASCOTS	2005	DBLP DOI BibTeX RDF
2	Michael Knoke, Günter Hommel	Dealing with Global Guards in a Distributed Simulation of Colored Petri Nets.	DS-RT	2005	DBLP DOI BibTeX RDF
2	Xiaochuan Yi, Krys Kochut	JCPNet tool and automated analysis of distributed systems.	ACM Southeast Regional Conference	2005	DBLP DOI BibTeX RDF	service-oriented architecture, service composition, colored petri nets, state space, occurrence graph
2	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	2005	DBLP DOI BibTeX RDF	Workflow Management, Business Process Management, Colored Petri Nets, BPEL4WS
2	Bhushan Bauskar, Boleslaw Mikolajczak	Modeling inheritance anomaly in concurrent systems using colored Petri nets.	SMC	2004	DBLP DOI BibTeX RDF
2	Hong-Zhong Huang, Xu Zu	Hierarchical Timed Colored Petri Nets Based Product Development Process Modeling.	CSCWD (Selected papers)	2004	DBLP DOI BibTeX RDF
2	Lawrence Teo, Yu-An Sun, Gail-Joon Ahn	Defeating Internet Attacks Using Risk Awareness and Active Honeypots.	IWIA	2004	DBLP DOI BibTeX RDF	Japonica, Risk Awareness, Honeypots, Colored Petri Nets
2	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
2	Hicham Djenidi, Amar Ramdane-Cherif, Chakib Tadj, Nicole Lévy	Architectures multi-agents génériques â base de réseaux de Pétri colorés temporisés pour la fusion multimodale en entrée.	IHM	2002	DBLP DOI BibTeX RDF	generic dialog architectures, input multimodalities, timed colored Petri nets, multimedia, multi-agent
2	José A. Bañares, Pedro R. Muro-Medrano, J. L. Villarroel, F. J. Zarazaga	KRON: Knowledge Engineering Approach Based on the Integration of CPNs with Objects.	Concurrent Object-Oriented Programming and Petri Nets	2001	DBLP DOI BibTeX RDF	knowledge engineering, frames, DES, Colored Petri nets
2	Wil M. P. van der Aalst, Poul J. N. de Crom, Roy R. H. M. J. Goverde, Kees M. van Hee, Wout J. Hofman, Hajo A. Reijers, Robert A. van der Toorn	Ex Spect 6.4: An Executable Specification Tool for Hierarchical Colored Petri Nets.	ICATPN	2000	DBLP DOI BibTeX RDF
2	Hideki Sato, Akifumi Makinouchi	Temporal Constraints for Object Migration and Behavior Modeling Using Colored Petri Nets.	ER	2000	DBLP DOI BibTeX RDF
2	To-Yat Cheung, Yiqin Lu	Five Classes of Invariant-Preserving Transformations on Colored Petri Nets.	ICATPN	1999	DBLP DOI BibTeX RDF
2	Lee W. Wagenhals, Insub Shin, Alexander H. Levis	Creating Executable Models of Influence Nets with Colored Petri Nets.	STTT	1998	DBLP DOI BibTeX RDF	Influence nets, Bayesian nets, Course of action, Colored Petri nets, High-level Petri nets, Discrete event dynamical systems
2	Hany H. Ammar, T. Nikzadeh, Joanne Bechta Dugan	A Methodology For Risk Assessment Of Functional Specification Of Software Systems Using Colored Petri Nets.	IEEE METRICS	1997	DBLP DOI BibTeX RDF	software systems analysis, complex real time software systems, analysis/design phase, heuristic risk assessment technique, severity measures, heuristic risk factor, software functional specifications, dynamic complexity measures, concurrency complexity, severity analysis, failure mode and effect analysis, software metrics, software components, risk assessment, colored Petri nets, functional specification, complexity metrics, large scale software system
2	Kamel Barkaoui, Claude Kaiser, Jean-François Pradat-Peyre	Petri nets based proofs of Ada 95 solution for preference control.	APSEC	1997	DBLP DOI BibTeX RDF	Petri nets based proofs, preference control, dining philosophers paradigm, entry families, requeue statements, Petri nets, deadlock, colored Petri nets, Ada 95, correctness proofs, starvation, protected objects
2	Rossano Gaeta	Efficient Discrete-Event Simulation of Colored Petri Nets.	IEEE Trans. Software Eng.	1996	DBLP DOI BibTeX RDF	stochastic well-formed nets, model symmetries, efficient simulation algorithms, Discrete event simulation, high-level Petri nets, symbolic simulation
2	Giuliana Franceschinis, Richard R. Muntz	Computing Bounds for the Performance Indices of Quasi-Lumpable Stochastic Well-Formed Nets.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	quasilumpable stochastic well-formed Nets, stochastic well-formed colored Petri nets, aggregated reachability graph, qualitative properties, quasilumpable SWN models, approximated performance indices, SWN models, bounded aggregation method, performance evaluation, Petri nets, Markov processes, stochastic processes, continuous time Markov chain, performance indices, symbolic reachability graph
2	Valerio O. Pinci, Robert M. Shapiro	An integrated software development methodology based on hierarchical colored Petri Nets.	Applications and Theory of Petri Nets	1990	DBLP DOI BibTeX RDF	Hierarchical Coloured Petri Nets, Standard ML, software development methodology, SADT
1	Valentín Valero Ruiz, Hermenegilda Macià, Juan José Pardo, María-Emilia Cambronero, Gregorio Díaz	Transforming Web Services Choreographies with priorities and time constraints into prioritized-time colored Petri nets.	Sci. Comput. Program.	2012	DBLP DOI BibTeX RDF
1	Mohamed Bouali, Pavol Barger, Walter Schon	Backward reachability of Colored Petri Nets for systems diagnosis.	Rel. Eng. & Sys. Safety	2012	DBLP DOI BibTeX RDF
1	Mercedes Narciso, Miquel Angel Piera, Antoni Guasch	A time stamp reduction method for state space exploration using colored Petri nets.	Simulation	2012	DBLP DOI BibTeX RDF
1	Seyed Hessameddin Zegordi, Hoda Davarzani	Developing a supply chain disruption analysis model: Application of colored Petri-nets.	Expert Syst. Appl.	2012	DBLP DOI BibTeX RDF
1	Seungwok Han, Hee Yong Youn	Modeling and Analysis of Time-Critical Context-Aware Service Using Extended Interval Timed Colored Petri Nets.	IEEE Transactions on Systems, Man, and Cybernetics, Part A	2012	DBLP DOI BibTeX RDF
1	Hai-Quang Nguyen, Amy W. Apon	Parallel file system measurement and modeling using colored petri nets.	ICPE	2012	DBLP DOI BibTeX RDF
1	Hejiao Huang, Hélène Kirchner	Formal Specification and Verification of Modular Security Policy Based on Colored Petri Nets.	IEEE Trans. Dependable Sec. Comput.	2011	DBLP DOI BibTeX RDF
1	Yang Xu, Xiaoyao Xie, Huan Guo Zhang	Modeling and Analysis of Electronic Commerce Protocols Using Colored Petri Nets.	JSW	2011	DBLP DOI BibTeX RDF
1	Zhijiao Xiao, Zhong Ming	A method of workflow scheduling based on colored Petri nets.	Data Knowl. Eng.	2011	DBLP DOI BibTeX RDF
1	Shengyuan Wang, Yuan Dong	A verifiable low-level concurrent programming model based on colored Petri nets.	SCIENCE CHINA Information Sciences	2011	DBLP DOI BibTeX RDF
1	Yang Xu, Xiaoyao Xie	Modeling and Analysis of Security Protocols Using Colored Petri Nets.	JCP	2011	DBLP DOI BibTeX RDF
1	Renzhong Wang, Cihan H. Dagli	Executable system architecting using systems modeling language in conjunction with colored Petri nets in a model-driven systems development process.	Systems Engineering	2011	DBLP DOI BibTeX RDF
1	Wei-dong Huang, Zhe Tong	Research on Emergency Plan Business Process modeling based on colored Petri Nets.	FSKD	2011	DBLP DOI BibTeX RDF
1	Jing Liu, Xinming Ye, Jun Li	Colored Petri nets model based conformance test generation.	ISCC	2011	DBLP DOI BibTeX RDF
1	Enrique Caliz, Karthikeyan Umapathy, Arturo J. Sánchez-Ruíz, Sherif A. Elfayoumy	Analyzing Web Service Choreography Specifications Using Colored Petri Nets.	DESRIST	2011	DBLP DOI BibTeX RDF
1	Leila Abidi, Christophe Cérin, Sami Evangelista	A Petri-Net Model for the Publish-Subscribe Paradigm and Its Application for the Verification of the BonjourGrid Middleware.	IEEE SCC	2011	DBLP DOI BibTeX RDF	Principles of services, Grid Computing Middleware, Publish-Subscribe paradigm, BonjourGrid, Formal Models, Colored Petri Nets, Service models
1	Vijay Sahota, Maozhen Li, Marios G. Hadjinicolaou	Modeling Scalable Grid Information Services with Colored Petri Nets.	IJGHPC	2010	DBLP BibTeX RDF
1	Elhillali Kerkouche, Allaoua Chaoui, El-Bay Bourennane, Ouassila Labbani	A UML and Colored Petri Nets Integrated Modeling and Analysis Approach using Graph Transformation.	Journal of Object Technology	2010	DBLP DOI BibTeX RDF
1	Ryan Robidoux, Haiping Xu, Liudong Xing, MengChu Zhou	Automated Modeling of Dynamic Reliability Block Diagrams Using Colored Petri Nets.	IEEE Transactions on Systems, Man, and Cybernetics, Part A	2010	DBLP DOI BibTeX RDF
1	Quan Bai, Fenghui Ren, Minjie Zhang, John Fulcher	Using colored petri nets to predict future states in agent-based scheduling and planning systems.	Multiagent and Grid Systems	2010	DBLP DOI BibTeX RDF
1	Thomas Chatain, Eric Fabre	Factorization Properties of Symbolic Unfoldings of Colored Petri Nets.	Petri Nets	2010	DBLP DOI BibTeX RDF
1	Fei Liu, Monika Heiner	Colored Petri nets to Model and Simulate Biological Systems.	ACSD/Petri Nets Workshops	2010	DBLP BibTeX RDF
1	Paul Maxwell, Anthony A. Maciejewski, Howard Jay Siegel, Jerry Potter	A cordon and search model and simulation using timed, stochastic, colored petri nets for robust decision-making.	SpringSim	2010	DBLP DOI BibTeX RDF
1	Monica Góes Eboli, Fabio Gagliardi Cozman	Markov Decision Processes from Colored Petri Nets.	SBIA	2010	DBLP DOI BibTeX RDF
1	Marouane Kessentini, Arbi Bouchoucha, Houari A. Sahraoui, Mounir Boukadoum	Example-Based Sequence Diagrams to Colored Petri Nets Transformation Using Heuristic Search.	ECMFA	2010	DBLP DOI BibTeX RDF
1	Seyed Morteza Babamir, Mojdeh Rahmanian	Modeling and Analyzing CIIP Medical System Using Colored Petri-Nets.	BIOCOMP	2010	DBLP BibTeX RDF
1	Laïd Kahloul, Karim Djouani, Walid Tfaili, Allaoua Chaoui, Yacine Amirat	Modeling and Verification of RBAC Security Policies Using Colored Petri Nets and CPN-Tool.	NDT	2010	DBLP DOI BibTeX RDF
1	Marouane Kessentini, Houari A. Sahraoui, Mounir Boukadoum	Sequence diagram to colored Petri nets transformation testing: an immune system metaphor.	CASCON	2010	DBLP DOI BibTeX RDF
1	Vijay Gehlot, Carmen Nigro	An introduction to systems modeling and simulation with Colored Petri Nets.	Winter Simulation Conference	2010	DBLP DOI BibTeX RDF
1	Liang Gu, Yao Guo, Yanjiang Yang, Feng Bao, Hong Mei	Modeling TCG-Based Secure Systems with Colored Petri Nets.	INTRUST	2010	DBLP DOI BibTeX RDF
1	Jing Liu, Xinming Ye, Jun Li	Analyzing Performance for Complex Protocol using Validated CP-nets Models.	CIT	2010	DBLP DOI BibTeX RDF	complex protocol, performance analysis, colored Petri nets, functional validation
1	Jing Liu, Xinming Ye, Jun Li	CP-Nets Based Methodology for Integrating Functional Verification and Performance Analysis of Network Protocol.	SNPD	2010	DBLP DOI BibTeX RDF	BitTorrent protocol, performance analysis, colored Petri nets, functional verification
1	Maurizio Garelli, Marco Gribaudo	Performance Analysis of the ARIA Adaptive Media Processing Workflows using Colored Petri Nets.	Electr. Notes Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	Quan Bai, Minjie Zhang, Kwang Mong Sim	Flexible Negotiation Modeling by Using Colored Petri Nets.	JITR	2009	DBLP BibTeX RDF
1	Xavier Renault, Fabrice Kordon, Jérôme Hugues	Adapting Models to Model Checkers, A Case Study : Analysing AADL Using Time or Colored Petri Nets.	IEEE International Workshop on Rapid System Prototyping	2009	DBLP DOI BibTeX RDF
1	Yaojun Han, Xuemei Luo	Composition and Reduction of Web Service Based on Dynamic Timed Colored Petri Nets.	ISPA	2009	DBLP DOI BibTeX RDF	model composition and reduction, dynamic timed colored Petri net, web service, performance analysis
1	Vijay Gehlot, Kranthima Edupuganti	Use of Colored Petri Nets to Model, Analyze, and Evaluate Service Composition and Orchestration.	HICSS	2009	DBLP DOI BibTeX RDF
1	Vijay Gehlot, Gayatri Pujari	A Case Study in Defining Colored Petri Nets Based Model Driven Development of Enterprise Service Oriented Architectures.	HICSS	2009	DBLP DOI BibTeX RDF
1	Arnur G. Tokhtabayev, Victor A. Skormin, Andrey M. Dolgikh, Mamirbek Beisenbi, Moldir Kargaldayeva	Detection of Specific Semantic Functionalities, such as Self-Replication Mechanism, in Malware Using Colored Petri Nets.	Security and Management	2009	DBLP BibTeX RDF
1	Magdalena Payeras-Capellà, Macià Mut Puigserver, Andreu Pere Isern-Deyà, Josep Lluís Ferrer-Gomila, Llorenç Huguet i Rotger	Formal Analysis of FPH Contract Signing Protocol Using Colored Petri Nets.	SecureComm	2009	DBLP DOI BibTeX RDF
1	Hejiao Huang, Hélène Kirchner	Component-Based Security Policy Design with Colored Petri Nets.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF	security policy, colored Petri net, specification and verification, property-preservation
1	Abouelabbas Ghanaim, Geovany Borges, Georg Frey	Estimating Delays in Networked Control Systems using Colored Petri Nets and Markov Chain Models.	ETFA	2009	DBLP DOI BibTeX RDF
1	Manuel Wimmer, Gerti Kappel, Johannes Schönböck, Angelika Kusel, Werner Retschitzegger, Wieland Schwinger	TROPIC: a framework for model transformations on petri nets in color.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	model transformation, colored petri nets
1	R. S. Mans, Wil M. P. van der Aalst, Nick C. Russell, Piet J. M. Bakker, Arnold J. Moleman, Kristian Bisgaard Lassen, Jens Bæk Jørgensen	From Requirements via Colored Workflow Nets to an Implementation in Several Workflow Systems.	T. Petri Nets and Other Models of Concurrency	2009	DBLP DOI BibTeX RDF	Executable Use Cases, healthcare, Workflow Management, Colored Petri Nets
1	Ping Jiang, Liang Gao, Peigen Li, Haobo Qiu	Collaborative execution mechanisms for the TCPN-enhanced process-view approach based inter-enterprises workflow.	CSCWD	2009	DBLP DOI BibTeX RDF
1	Sebastian Schmerl, Michael Vogel, Hartmut König	Identifying Modeling Errors in Signatures by Model Checking.	SPIN	2009	DBLP DOI BibTeX RDF	Attack Signatures, Intrusion Detection, Computer Security, Signature Verification, Misuse Detection, Promela, Spin model checker
1	Haiyang Sun, Jian Yang, Xin Wang, Yanchun Zhang	A Verification Mechanism for Secured Message Processing in Business Collaboration.	APWeb/WAIM	2009	DBLP DOI BibTeX RDF	Role Authorization, Reliability Verification, Secured Message Processing, Hierarchical Colored Petri Net