Search results for "Petri net"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
5	Herbert Weber, Hartmut Ehrig, Wolfgang Reisig, Alexander Borusan, Sabine Lembke, Juliane Dehnert, Michael Weber, Axel Martens, Julia Padberg, Claudia Ermel, Anilda Qemali	The Petri Net Baukasten of the DFG Forschergruppe PETRI NET TECHNOLOGY.	Petri Net Technology for Communication-Based Systems	2003	DBLP DOI BibTeX RDF	Petri Net Technology, Petri Nets
5	Ekkart Kindler, Michael Weber	The Petri Net Kernel - An infrastructure for building Petri net tools.	STTT	2001	DBLP DOI BibTeX RDF	Petri net types, Petri net API, Generic tools, Petri net, Tool development
4	Ray R. Hashemi, James Blondin	SASSY: A Petri Net Based Student-Driven Advising Support System.	ITNG	2010	DBLP DOI BibTeX RDF	Advising system, Specialized Petri net, Course-Petri net, Student-driven advising system, Petri net
4	Lianwei Guan, Xingyu Li, Hao Hu, Jian Lu	A Petri net-based approach for supporting aspect-oriented modeling.	Frontiers of Computer Science in China	2008	DBLP DOI BibTeX RDF	aspect-aspect conflict, shared join point, Petri net, aspect oriented modeling, Object Petri net
4	Chunguang Ji, Xiancui Lv, Shiyong Li	The Design of Biopathway's Modelling and Simulation System Based on Petri Net.	RSKT	2006	DBLP DOI BibTeX RDF	biopathway, Petri net, Stochastic Petri net, modelling and simulation
4	Xiaoning Feng, Qun Liu, Zhuo Wang	AUV Modeling and Analysis using a Colored Object-Oriented Petri Net.	IMSCCS	2006	DBLP DOI BibTeX RDF	Colored Object-Oriented Petri Net (COOPN), Colored Petri Net Modeling Language (CPN ML), substitution transition, reachable tree
4	Rik Eshuis, Roel Wieringa	Comparing Petri Net and Activity Diagram Variants for Workflow Modelling - A Quest for Reactive Petri Nets.	Petri Net Technology for Communication-Based Systems	2003	DBLP DOI BibTeX RDF
4	Volker Braun, Tiziana Margaria, Bernhard Steffen	The Electronic Tool Integration Platform (ETI) and the Petri Net Technology.	Petri Net Technology for Communication-Based Systems	2003	DBLP DOI BibTeX RDF
4	Michael Weber, Ekkart Kindler	The Petri Net Markup Language.	Petri Net Technology for Communication-Based Systems	2003	DBLP DOI BibTeX RDF
4	Herbert Weber	Application Development Assistance with the Petri Net Baukasten.	Petri Net Technology for Communication-Based Systems	2003	DBLP DOI BibTeX RDF
4	Benjamin Braatz, Hartmut Ehrig, Milan Urbásek	Petri Net Transformations in the "Petri Net Baukasten".	Petri Net Technology for Communication-Based Systems	2003	DBLP DOI BibTeX RDF
4	Francesco Parisi-Presicce	A Formal Framework for Petri Net Class Transformations.	Petri Net Technology for Communication-Based Systems	2003	DBLP DOI BibTeX RDF
4	Michael Weber, Ekkart Kindler	The Petri Net Kernel.	Petri Net Technology for Communication-Based Systems	2003	DBLP DOI BibTeX RDF
4	Peter Grün, Petru Eles, Krzysztof Kuchcinski, Zebo Peng	Automatic Parallelization of a Petri Net-Based Design Representation for High-Level Synthesis.	EUROMICRO	1996	DBLP DOI BibTeX RDF	Petri net-based design representation, internal design representation, hardware structures, conflict freeness, hierarchical Petri net structure, CAMAD, complexity, parallelization process, Petri nets, high-level synthesis, automatic parallelization, design environment, safeness
4	Fernando Vallejo, José A. Gregorio, Michael González Harbour, José M. Drake	Shared Memory Multimicroprocessor Operating System with an Extended Petri Net Model.	IEEE Trans. Parallel Distrib. Syst.	1994	DBLP DOI BibTeX RDF	softwareengineering, shared memorymultimicroprocessor operating system, extended Petri net model, task level programming, extended Petri net, job-levelprogramming, parallel programming, parallel programs, Petri nets, software development, operating system, conceptual model, programming environments, shared memory systems, operating systems (computers), system software, event-driven systems, programming support
4	Peter J. Haas, Gerald S. Shedler	Stochastic Petri Net Representation of Discrete Event Simulations.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	transition firings, timed transitions, Petri net simulation, countable state GSMP, generalized semi-Markov process, simulation, formal specification, Petri nets, discrete event simulation, Markov processes, stochastic Petri net
3	Laura Carnevali, Lorenzo Ridi, Enrico Vicario	Sirio: A Framework for Simulation and Symbolic State Space Analysis of non-Markovian Models.	QEST	2011	DBLP DOI BibTeX RDF	symbolic state-space enumeration, preemptive Time Petri Net, non-Markovian Stochastic Petri Net, quantitative evaluation, Correctness verification, stochastic Time Petri Net
3	Robin Bergenthum, Jörg Desel, Sebastian Mauser	Comparison of Different Algorithms to Synthesize a Petri Net from a Partial Language.	T. Petri Nets and Other Models of Concurrency	2009	DBLP DOI BibTeX RDF	Partial Order Behavior, Region Theory, Petri Net, Synthesis Algorithm
3	Xiaodong Wang, Xiaoyu Zhang, Hongming Cai, Boyi Xu	An Extended Petri-Net Based Approach for Supply Chain Process Enactment in Resource-Centric Web Service Environment.	OTM Conferences	2009	DBLP DOI BibTeX RDF	XML-Net, WADL, Petri-Net, supply chain, RESTful web service
3	Ermeson Carneiro de Andrade, Paulo Romero Martins Maciel, Gustavo Rau de Almeida Callou, Bruno Costa e Silva Nogueira, Carlos Araújo	Mapping UML sequence diagram to time petri net for requirement validation of embedded real-time systems with energy constraints.	SAC	2009	DBLP DOI BibTeX RDF	UML, embedded systems, time petri net, requirement validation
3	Zipeng Zhang, Shuqing Wang, Xiaohui Yuan	Advanced Self-adaptation Learning and Inference Techniques for Fuzzy Petri Net Expert System Units.	AICI	2009	DBLP DOI BibTeX RDF	dynamic fuzzy reasoning, self-adaptation learning, neural network, Fuzzy Petri net
3	H. M. W. (Eric) Verbeek, A. Johannes Pretorius, Wil M. P. van der Aalst, Jarke J. van Wijk	Assessing State Spaces Using Petri-Net Synthesis and Attribute-Based Visualization.	T. Petri Nets and Other Models of Concurrency	2008	DBLP DOI BibTeX RDF	Petri-net synthesis, visualization, attributes, state spaces
3	Jing Xu, Laura Recalde, Manuel Silva	Tracking Control of Join-Free Timed Continuous Petri Net Systems under Infinite Servers Semantics.	Discrete Event Dynamic Systems	2008	DBLP DOI BibTeX RDF	Join-free timed continuous Petri net, Input constraints, Convergence analysis, Tracking control
3	Gustavo Rau de Almeida Callou, Paulo Romero Martins Maciel, Ermeson Carneiro de Andrade, Bruno Costa e Silva Nogueira, Eduardo Antonio Guimarães Tavares	A coloured petri net based approach for estimating execution time and energy consumption in embedded systems.	SBCCI	2008	DBLP DOI BibTeX RDF	simulation, energy consumption, embedded software, coloured petri net, execution time
3	Jaechang Nam	A Trust Framework of Ubiquitous Healthcare with Advanced Petri Net Model.	eHealth	2008	DBLP DOI BibTeX RDF	Trust framework, Petri net, Ubiquitous healthcare
3	Dalju Lee, Jongmoon Baik	QoS Protocol Verification using Petri-Net for Seamless Mobility in a Ubiquitous Environment: A Case Study.	SNPD	2008	DBLP DOI BibTeX RDF	QoS Protocol, Petri-Net, Protocol Verification
3	Gordan Topic, Dragan Jevtic, Marijan Kunstic	Petri Net-Based Simulation and Analysis of the Software Development Process.	KES	2008	DBLP DOI BibTeX RDF	software development, process modeling, colored Petri net
3	Daniel Martin, Daniel Wutke, Frank Leymann	Using tuplespaces to enact petri net-based workflow definitions.	iiWAS	2008	DBLP DOI BibTeX RDF	petri net execution, petri nets, workflows, tuplespaces
3	Weihua Niu, Zhuping Yang	Workflow Model Based on Time-Extended and Hierarchy-Extended Petri-Net.	ISIP	2008	DBLP DOI BibTeX RDF	time-extended, hierarchy-extended, Petri-Net, workflow model
3	Lianwei Guan, Xingyu Li, Hao Hu	A Petri Net-Based Approach for Supporting Aspect-Oriented Modeling.	TASE	2008	DBLP DOI BibTeX RDF	aspect dependency, shared join point, Petri net, conflict, aspect-oriented modeling
3	Dong-Her Shih, Hsiu-Sen Chiang, Binshan Lin	A Generalized Associative Petri Net for Reasoning.	IEEE Trans. Knowl. Data Eng.	2007	DBLP DOI BibTeX RDF	Data mining, Ontology, Petri net, Association rule, Reasoning
3	Minghu Ha, Yan Li, Xiao-Feng Wang	Fuzzy knowledge representation and reasoning using a generalized fuzzy petri net and a similarity measure.	Soft Comput.	2007	DBLP DOI BibTeX RDF	Generalized fuzzy Petri net, Weighted fuzzy production rule, Knowledge representation, Similarity measure, Fuzzy reasoning
3	Peng Men, Zhenhua Duan, Bin Yu	Utilizing Fuzzy Petri Net for Choreography Based Semantic Web Services Discovery.	ICATPN	2007	DBLP DOI BibTeX RDF	ontology, semantic web services, matchmaking, fuzzy petri net
3	Yubin Zhong	The Design and Research of Controller in Fuzzy PETRI NET.	ICFIE	2007	DBLP DOI BibTeX RDF	Place invariant, Dead lock Phenomenon, Optimize, Controller, Fuzzy PETRI NET
3	Simon Hardy, Pierre N. Robillard	Visualization of the simulation data of biochemical network models: a painted Petri net approach.	SCSC	2007	DBLP DOI BibTeX RDF	biochemical modeling, quantitative studies, visualization, petri net, invariants
3	Yan He, Miaoliang Zhu	A complete and efficient strategy based on petri net in automated trust negotiation.	Infoscale	2007	DBLP DOI BibTeX RDF	negotiation petri net, automated trust negotiation, negotiation strategy
3	Norihiro Kamide	Phase Semantics and Petri Net Interpretation for Resource-Sensitive Strong Negation.	Journal of Logic, Language and Information	2006	DBLP DOI BibTeX RDF	electric circuit, linear logic with strong negation, Petri net with inhibitor arc, phase semantics, medical diagnosis
3	Jianghui Ying	An approach to Petri net based formal modeling of user interactions from X3D content.	Web3D	2006	DBLP DOI BibTeX RDF	formal methods, Petri net, X3D
3	Wen-Yu Liu, Kwoting Fang	Using IDEF0/Petri Net for Ontology-Based Task Knowledge Analysis: The Case of Emergency Response for Debris-Flow.	HICSS	2006	DBLP DOI BibTeX RDF	Task Ontology, IDEF0/Petri net, Debris-Flow
3	Tzu-Husan Wu, Rita Kuo, Maiga Chang, Jia-Sheng Heh	Developing a Learning Notification Express Delivery Service for Students Based on Petri-Net.	ICALT	2006	DBLP DOI BibTeX RDF	Learning Feedback, Petri-net, Computer Assisted Learning
3	Julia Fix, Christian von Scheve, Daniel Moldt	Emotion-based norm enforcement and maintenance in multi-agent systems: foundations and petri net modeling.	AAMAS	2006	DBLP DOI BibTeX RDF	socionics, MAS, emotions, social norms, petri net modeling
3	XianMing Liu, ShiXian Li, Yue Jiang	A Petri Net Extended With Stochastic Priced Transition.	ICEBE	2005	DBLP DOI BibTeX RDF	priced transition, Petri net, business process modeling
3	Yueh-Min Huang, Juei-Nan Chen, Shu-Chen Cheng, William C. Chu	Agent-BasedWeb Learning System Applying Dynamic Fuzzy Petri Net.	ICWL	2004	DBLP DOI BibTeX RDF	Dynamic Fuzzy Petri Net, Agent, E-Learning
3	Ping-Yu Hsu, Yuan-Bin Chang, Yen-Liang Chen	STRPN: A Petri-Net Approach for Modeling Spatial-Temporal Relations between Moving Multimedia Objects.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	spatial-temporal relations, two-phase firing conditions, valid firing sequences, relative coordination, multimedia, Petri Net
3	Soon Myoung Chung, Anil L. Pereira	Timed Petri Net Representation of the Synchronized Multimedia Integration Language (SMIL) of XML.	ITCC	2003	DBLP DOI BibTeX RDF	Synchronized Multimedia Integration Language (SMIL), Timed Petri Net (TPN), synchronization of multimedia streams, graphical representation
3	Juliane Dehnert	Four Steps Towards Sound Business Process Models.	Petri Net Technology for Communication-Based Systems	2003	DBLP DOI BibTeX RDF
3	Sibylle Peuker	Concurrency Based Transition Refinement for the Verification of Distributed Algorithms.	Petri Net Technology for Communication-Based Systems	2003	DBLP DOI BibTeX RDF
3	Olaf Kluge	Modelling a Railway Crossing with Message Sequence Charts and Petri Nets.	Petri Net Technology for Communication-Based Systems	2003	DBLP DOI BibTeX RDF
3	Julia Padberg, Milan Urbásek	Rule-Based Refinement of Petri Nets: A Survey.	Petri Net Technology for Communication-Based Systems	2003	DBLP DOI BibTeX RDF
3	Claudia Ermel, Roswitha Bardohl, Hartmut Ehrig	Generation of Animation Views for Petri Nets in GenGED.	Petri Net Technology for Communication-Based Systems	2003	DBLP DOI BibTeX RDF
3	Veyis Gunes, Pierre Loonis, Michel Ménard	A Fuzzy Petri Net for Pattern Recognition: Application to Dynamic Classes.	Knowl. Inf. Syst.	2002	DBLP DOI BibTeX RDF	Dynamic knowledge representation, Pattern recognition, Fuzzy Petri net
3	Sheng Uei Guan, Wei Liu, Kenneth Ong	An extendible Petri net model for Memex-like applications.	ISCC	2002	DBLP DOI BibTeX RDF	color token, Internet, Petri Net, interaction multimedia, multimedia synchronization, Memex
3	G. Stremersch, René K. Boel	Structuring Acyclic Petri Nets for Reachability Analysis and Control.	Discrete Event Dynamic Systems	2002	DBLP DOI BibTeX RDF	acyclic Petri net, uncontrollable transitions, Petri net, supervisory control
3	Nikolay A. Anisimov, E. A. Golenkov, D. I. Kharitonov	Compositional Petri Net Approach to the Development of Concurrent and Distributed Systems.	Programming and Computer Software	2001	DBLP DOI BibTeX RDF	Petri net entity, distributed systems, Petri nets, compositionality, concurrent systems
3	Konstantin Knorr, Harald Weidner	Analyzing Separation of Duties in Petri Net Workflows.	MMM-ACNS	2001	DBLP DOI BibTeX RDF	Petri net, workflow, Logical programming, separation of duties
3	Michael Köhler, Daniel Moldt, Heiko Rölke	Modelling the Structure and Behaviour of Petri Net Agents.	ICATPN	2001	DBLP DOI BibTeX RDF	modelling, multi agent system, agent, Petri net, concurrency, structure, behaviour, reference net, nets within nets
3	Jin-Cheon Na, Richard Furuta	Dynamic documents: authoring, browsing, and analysis using a high-level petri net-based hypermedia system.	ACM Symposium on Document Engineering	2001	DBLP DOI BibTeX RDF	petri-net-based hypertext, caT, trellis, dynamic documents
3	Christoph Schneider, Joachim Wehler	Petri Net Theory - Problems Solved by Commutative Algebra.	ICATPN	1999	DBLP DOI BibTeX RDF	Artin net, commutative net, Gröbner theory, Coloured Petri net, flow, reachability
3	Carl K. Chang, Seongwoon Kim	I3: A Petri-Net Based Specification Method for Architectural Components. (PDF / PS)	COMPSAC	1999	DBLP DOI BibTeX RDF	architectural component description language, interoperation, specification, CORBA, software component, Architecture Description Language, stakeholder, colored Petri net, IDL, SADT, ORB
3	Hans Fleischhack, Bernd Grahlmann	A Compositional Petri Net Semantics for SDL.	ICATPN	1998	DBLP DOI BibTeX RDF	ARQ protocol, Petri Net Semantics, Concurrency, SDL, Compositionality, Procedures, Infinity, Dynamic Processes
3	K. S. Cheung, K. O. Chow, T. Y. Cheung	Deriving Scenarios Of Object Interaction Through Petri Net.	TOOLS	1998	DBLP DOI BibTeX RDF	object lifecycle, Petri net, object interaction, object behaviour
3	Ekkart Kindler	A Compositional Partial Order Semantics for Petri Net Components.	ICATPN	1997	DBLP DOI BibTeX RDF	Petri net component, rely-guarantee specification, fully abstract, compositional semantics, partial order semantics
3	Osamu Mizuno, Shinji Kusumoto, Tohru Kikuno, Yasunari Takagi, Keishi Sakamoto	Estimating the Number of Faults using Simulator based on Generalized Stochastic Petri-Net Model.	Asian Test Symposium	1997	DBLP DOI BibTeX RDF	software test and debug, software development, software fault, Petri-net model
3	Chuang Lin, Bo Li, Jianping Wu	Modeling ATM traffic using stochastic Petri net.	ICCCN	1997	DBLP DOI BibTeX RDF	stochastic high level Petri net, stochastic events, ATM traffic control modeling, concurrent events, nondeterministic events, state space explosion problem, bursty traffic source, traffic rate control, token condensing, performance analysis, asynchronous transfer mode, ATM networks, multimedia traffic, asynchronous events, submodels, reduction method
3	Son T. Vuong, Kendra Cooper, Mabo Robert Ito	Petri net models for describing multimedia synchronization requirements.	ICNP	1995	DBLP DOI BibTeX RDF	extended object composition, dynamic timed, time stream, performance evaluation, Petri nets, synchronisation, multimedia communication, multimedia communication, multimedia synchronization, Petri net models, object composition, synchronization constraints
3	Denis Avrilionis, Pierre-Yves Cunin	Using views to maintain Petri-net-based process models. (PDF / PS)	ICSM	1995	DBLP DOI BibTeX RDF	Petri-net-based process model maintenance, quality aspects, real software-production process, sub-model, participant perception, abstract modules, formally defined operators, Process Weaver modelling language, review process model, view evolution, view composition, Petri nets, software maintenance, software tools, software quality, programming environments, products, views, maintainability, computer aided software engineering, software process model, activities, simulation languages, project support environments, process model change
3	Fei-Yue Wang, Michael Mittmann, George N. Saridis	Coordination specification for CIRSSE robotic platform system using Petri net transducers.	Journal of Intelligent and Robotic Systems	1994	DBLP DOI BibTeX RDF	Petri net transducer, coordination structure, intelligent machines, communication, command language
3	Miguel Felder, Dino Mandrioli, Angelo Morzenti	Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net Models.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	property proving, logical specifications, TRIO, Hoare method, dual language, real-time systems, real-time systems, embedded systems, formal specification, formal specification, Petri nets, temporal logic, temporal logic, theorem proving, first-order logic, timed Petri net, formal analysis, axiomatization
3	Rudolf K. Keller, Marianne Ozkan, Xijin Shen	Towards Comprehensive Support for the Dynamic Analysis of Petri Net Based Models.	Application and Theory of Petri Nets	1994	DBLP DOI BibTeX RDF	Macronet, graphical simulation, visualization, performance analysis, Petri net, Dynamic analysis, business modelling, environment, tool evaluation
3	Carlo Ghezzi, Dino Mandrioli, Sandro Morasca, Mauro Pezzè	A Unified High-Level Petri Net Formalism for Time-Critical Systems.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	environment relationship nets, time-critical systems, ER nets, time notation, specification support environment, formal specification, Petri nets, software tools, timing, high-level Petri net
3	Reg G. Willson, Bruce H. Krogh	Petri Net Tools for the Specification and Analysis of Discrete Controllers.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	Petri net tools, discrete controllers, discrete-state systems, rule-based state-variable-specification formalism, interconnected state machines, reduced reachability graphs, discrete manufacturing systems, modeling, formal specification, Petri nets, specification, controllers, computerised control, discrete systems
3	Sol M. Shatz, Khanh Mai, Christopher Black, Shengru Tu	Design and Implementation of a Petri Net Based Toolkit for Ada Tasking Analysis.	IEEE Trans. Parallel Distrib. Syst.	1990	DBLP DOI BibTeX RDF	Ada tasking analysis, analysis framework, tasking-oriented toolkit for the Ada language, TOTAL, front-end translator subsystem, FETS, back-end information display subsystem, Ada-net reachability graphs, Petri net, Petri nets, Ada, software tools, query, toolkit, utility, BIDS, Ada tasking
3	Tadao Murata, Boris Shenker, Sol M. Shatz	Detection of Ada Static Deadlocks Using Petri Net Invariants.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	Ada static deadlocks, Petri net invariants, Ada tasking programs, message-flow, computational complexity, complexities, Petri nets, Ada, concurrency control, program testing, system recovery, control-flow
3	George Peterka, Tadao Murata	Proof Procedure and Answer Extraction in Petri Net Model of Logic Programs.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	proof procedure, Horn clause subset, firing sequence, goal transition, Petri nets, logic programs, logic programming, theorem proving, programming theory, Petri net model, first-order predicate logic, answer extraction
3	Joanne Bechta Dugan, Gianfranco Ciardo	Stochastic Petri Net Analysis of a Replicated File System.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	performance reliability tradeoffs, stochastic Petri net model, replicated file system, voting algorithm, file status, majority protocols, Petri nets, fault tolerant computing, distributed databases, concurrency control, distributed environment, witnesses
3	Hany H. Ammar, S. M. Rezaul Islam	Time Scale Decomposition of a Class of Generalized Stochastic Petri Net Models.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	generalized stochastic Petri net models, time-scale decomposition, GSPN model, hierarchical sequence, aggregated subnets, degradable multiprocessor system, TSD algorithm, slow transitions, performance evaluation, complexity, Petri nets, aggregation, multiprocessing systems, stochastic processes, coupling
3	Krishna P. Mikkilineni, Yuan-Chieh Chow, Stanley Y. W. Su	Petri-Net-Based Modeling and Evaluation of Pipelined Processing of Concurrent Database Queries.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	concurrent database queries, integrated data network, intermediate data sharing, Petri nets, query processing, distributed databases, distributed databases, computer networks, program testing, digital simulation, pipelined processing, pipeline processing, Petri-net model, event-driven programming
2	Jing Bi, Zhiliang Zhu, Haitao Yuan, Yushun Fan, Ming Tie	A Petri Net Based Hybrid Optimal Controller for Deadlock Prevention in Web Service Composition.	ICWS	2011	DBLP DOI BibTeX RDF	Controlled Petri net, hybrid optimal controller, web service composition, compatibility, deadlock prevention
2	Li Li, Wu Chou	Design and Describe REST API without Violating REST: A Petri Net Based Approach.	ICWS	2011	DBLP DOI BibTeX RDF	REST Chart, Petri Net, RESTful web service
2	Feng Chen, Pan Deng, Xiaohui Rong, Qiongqiong Zhou	Modeling of Device Collaboration Process Based on Petri Net.	SNPD	2010	DBLP DOI BibTeX RDF	device collaboration, modeling, Petri net
2	Boran Hu	Food Security Management Technology Based on HACCP and Petri Net.	WKDD	2010	DBLP DOI BibTeX RDF	HACCP, food safety, strawberry production, Petri net
2	Changyuan Gao, Shuchen Zhang, Xiaoxing Zhang	The Modeling and Simulation of Negotiation Process for High-Tech Virtual Enterprise Based on UML and Petri Net.	IITSI	2010	DBLP DOI BibTeX RDF	high tech virtual enterprise, ExSpect simulation, petri net, process modeling, uml
2	Niels Lohmann, Eric Verbeek, Remco M. Dijkman	Petri Net Transformations for Business Processes - A Survey.	T. Petri Nets and Other Models of Concurrency	2009	DBLP DOI BibTeX RDF
2	Jonathan Billington, Somsak Vanit-Anunchai, Guy Edward Gallasch	Parameterised Coloured Petri Net Channel Models.	T. Petri Nets and Other Models of Concurrency	2009	DBLP DOI BibTeX RDF	Parameterized Protocol Channel Models, Datagram Congestion Control Protocol, Coloured Petri Nets, Reachability Analysis
2	Boudewijn F. van Dongen, Ana Karla Alves de Medeiros, L. Wen	Process Mining: Overview and Outlook of Petri Net Discovery Algorithms.	T. Petri Nets and Other Models of Concurrency	2009	DBLP DOI BibTeX RDF
2	Keyi Xing, MengChu Zhou, Huixia Liu, Feng Tian	Optimal Petri-Net-Based Polynomial-Complexity Deadlock-Avoidance Policies for Automated Manufacturing Systems.	IEEE Transactions on Systems, Man, and Cybernetics, Part A	2009	DBLP DOI BibTeX RDF
2	Chung-Hsien Kuo, Jia-Wun Siao	Petri Net Based Reconfigurable Wireless Sensor Networks for Intelligent Monitoring Systems.	CSE	2009	DBLP DOI BibTeX RDF
2	Gabriel Juhás, Robert Lorenz, Jörg Desel	Unifying Petri Net Semantics with Token Flows.	Petri Nets	2009	DBLP DOI BibTeX RDF
2	Qiuqin Lu, Guangqiu Huang	An Attack Model Based on Both-Branch Fuzzy Logic and Fuzzy Petri Net.	IAS	2009	DBLP DOI BibTeX RDF
2	Bin Xu, Yun Ling, Xiaojun Li, Yi Zhuang, Bo Jiang, Shuai Zhang, Keting Yin	Determining task priority in dual-shore collaborative software design via Petri Net based behavior compatibility analysis.	CSCWD	2009	DBLP DOI BibTeX RDF
2	Amy J. C. Trappey, David W. Hsiao, Lin Ma, Yu-Liang Chung	Maintenance chain integration using Petri-net enabled Prometheus MAS modeling methodology.	CSCWD	2009	DBLP DOI BibTeX RDF
2	Slobodan Ribaric, Nikola Pavesic, Valentina Zadrija	Intersection Search for a Fuzzy Petri Net-Based Knowledge Representation Scheme.	KES	2009	DBLP DOI BibTeX RDF	Inference procedure, Knowledge representation, Fuzzy Petri Net, Intersection search
2	Astrid Rakow	Decompositional Petri Net Reductions.	IFM	2009	DBLP DOI BibTeX RDF
2	Jianbin He, Qunxing Su, Pengyuan Liu	Modeling and Analysis of Equipment Virtual Maintenance Process Based on Extended Petri Net.	IFITA	2009	DBLP DOI BibTeX RDF	virtual maintenance, simulation, Petri net, process modeling
2	Georg Zetzsche	Erasing in Petri Net Languages and Matrix Grammars.	Developments in Language Theory	2009	DBLP DOI BibTeX RDF
2	Yunni Xia, Jun Chen, Mingqiang Zhou, Yu Huang 0004	A Petri-Net-Based Approach to QoS Estimation of Web Service Choreographies.	APWeb/WAIM Workshops	2009	DBLP DOI BibTeX RDF
2	Yong Yu, Tong Li, Qing Liu, Fei Dai, Na Zhao	OR-transition Colored Petri Net and its Application in Modeling Software System.	WKDD	2009	DBLP DOI BibTeX RDF
2	Xiaoping Yang, Xiangbing Zhou	Ontology-oriented Petri Net Model of Semantics Service Composition.	WKDD	2009	DBLP DOI BibTeX RDF
2	Juan Carlos Vidal, Manuel Lama, Eduardo Sánchez, Alberto Bugarín, Adrán Novegil	OPENET LD: An Ontology-Based Petri Net Engine to Execute IMS LD Units of Learning.	ICALT	2009	DBLP DOI BibTeX RDF
2	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