Search results for "Petri-net"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
185	Herbert Weber, Hartmut Ehrig, Wolfgang Reisig, Alexander Borusan, Sabine Lembke, Juliane Dehnert, Michael Weber 0003, 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
178	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
173	Claudia Ermel, Michael Weber 0003	Implementation of Parameterized Net Classes with the Petri Net Kernel of the »Petri Net Baukasten«.	Unifying Petri Nets	2001	DBLP DOI BibTeX RDF
134	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
130	Rik Eshuis, Roel J. 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
126	Ekkart Kindler, Michael Weber 0003	The Petri Net Kernel - An infrastructure for building Petri net tools.	Int. J. Softw. Tools Technol. Transf.	2001	DBLP DOI BibTeX RDF	Petri net types, Petri net API, Generic tools, Petri net, Tool development
113	Michael Weber 0003, Ekkart Kindler	The Petri Net Markup Language.	Petri Net Technology for Communication-Based Systems	2003	DBLP DOI BibTeX RDF
108	Michael Weber 0003, Ekkart Kindler	The Petri Net Kernel.	Petri Net Technology for Communication-Based Systems	2003	DBLP DOI BibTeX RDF
105	Lingxi Li, Christoforos N. Hadjicostis, R. S. Sreenivas	Designs of Bisimilar Petri Net Controllers With Fault Tolerance Capabilities.	IEEE Trans. Syst. Man Cybern. Part A	2008	DBLP DOI BibTeX RDF
105	Lianwei Guan, Xingyu Li, Hao Hu 0001, Jian Lu 0001	A Petri net-based approach for supporting aspect-oriented modeling.	Frontiers Comput. Sci. China	2008	DBLP DOI BibTeX RDF	aspect-aspect conflict, shared join point, Petri net, aspect oriented modeling, Object Petri net
97	Francesco Parisi-Presicce	A Formal Framework for Petri Net Class Transformations.	Petri Net Technology for Communication-Based Systems	2003	DBLP DOI BibTeX RDF
97	Magdalena Gajewsky, Hartmut Ehrig	The »Petri Net Baukasten«: An Overview.	Unifying Petri Nets	2001	DBLP DOI BibTeX RDF
97	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
90	Geert Stremersch, René K. Boel	Structuring Acyclic Petri Nets for Reachability Analysis and Control.	Discret. Event Dyn. Syst.	2002	DBLP DOI BibTeX RDF	acyclic Petri net, uncontrollable transitions, Petri net, supervisory control
89	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
88	Julia Padberg, Hartmut Ehrig	Parameterized Net Classes: A Uniform Approach to Petri Net Classes.	Unifying Petri Nets	2001	DBLP DOI BibTeX RDF	actual and formal parameter, uniform approach, rule-based refinement, Petri Nets, fusion, union, high-level nets
87	Dragan Gasevic, Vladan Devedzic	Reusing Petri Nets Through the Semantic Web.	ESWS	2004	DBLP DOI BibTeX RDF
87	Parthasarathy Ramachandran, Manjunath Kamath	A Sufficient Condition for Reachability in a General Petri Net.	Discret. Event Dyn. Syst.	2004	DBLP DOI BibTeX RDF	acyclic transformations, net expansion, transition firing sequence, Petri nets, reachability analysis, unfolding
82	Andreas Glausch, Wolfgang Reisig	How Expressive Are Petri Net Schemata?.	ICATPN	2006	DBLP DOI BibTeX RDF
82	Tony Spiteri Staines	Intuitive Mapping of UML 2 Activity Diagrams into Fundamental Modeling Concept Petri Net Diagrams and Colored Petri Nets.	ECBS	2008	DBLP DOI BibTeX RDF
81	Sibylle Peuker	Concurrency Based Transition Refinement for the Verification of Distributed Algorithms.	Petri Net Technology for Communication-Based Systems	2003	DBLP DOI BibTeX RDF
81	Herbert Weber	Application Development Assistance with the Petri Net Baukasten.	Petri Net Technology for Communication-Based Systems	2003	DBLP DOI BibTeX RDF
81	Xiaoning Feng, Qun Liu, Zhuo Wang 0008	AUV Modeling and Analysis using a Colored Object-Oriented Petri Net.	IMSCCS (2)	2006	DBLP DOI BibTeX RDF	Colored Object-Oriented Petri Net (COOPN), Colored Petri Net Modeling Language (CPN ML), substitution transition, reachable tree
80	Nikolay A. Anisimov, Evgeniy A. Golenkov, Dmitriy I. Kharitonov	Compositional Petri Net Approach to the Development of Concurrent and Distributed Systems.	Program. Comput. Softw.	2001	DBLP DOI BibTeX RDF	Petri net entity, distributed systems, Petri nets, compositionality, concurrent systems
80	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
76	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
76	Ugo A. Buy, Gaurav Singal	Toward Efficient Algorithms for Generating Compact Petri Nets from Labeled Transition Systems.	COMPSAC	2002	DBLP DOI BibTeX RDF	Petri net generation, Petri nets, concurrency, automatic verification, transition systems, reachability graph
76	Ugo A. Buy, Mihai Lehene, Houshang Darabi	Latency-Based Supervisors for Enforcing Deadlines in Time Petri Nets.	SEW	2005	DBLP DOI BibTeX RDF
75	Michael Köhler 0001, 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
75	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
74	Marisa Llorens, Javier Oliver 0001	Structural and Dynamic Changes in Concurrent Systems: Reconfigurable Petri Nets.	IEEE Trans. Computers	2004	DBLP DOI BibTeX RDF
74	Yong Yu 0009, Tong Li 0004, Qing Liu, Fei Dai 0002, Na Zhao 0006	OR-transition Colored Petri Net and its Application in Modeling Software System.	WKDD	2009	DBLP DOI BibTeX RDF
74	Trong Wu, Shu-chiung Huang	A Timed Petri Net Interpreter: An Alternative Method for Simulation.	Rough Sets and Current Trends in Computing	2000	DBLP DOI BibTeX RDF
74	Christoforos N. Hadjicostis, George C. Verghese	Monitoring Discrete Event Systems Using Petri Net Embeddings.	ICATPN	1999	DBLP DOI BibTeX RDF
71	Gonzalo Mejía, Carlos Montoya	A Petri Net based algorithm for minimizing total tardiness in flexible manufacturing systems.	Ann. Oper. Res.	2008	DBLP DOI BibTeX RDF	Scheduling, Petri Nets, Heuristic search, Flexible manufacturing systems, Beam search
70	Xiangang Zhao, Bai Wang 0001, Liutong Xu	Grid Application Scheduling Model Based on Petri Net with Changeable Structure.	GCC	2007	DBLP DOI BibTeX RDF
70	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
70	Sunku Kang, Byungwoo Lee, Jihoon Yang, Seonho Kim, Saejoon Kim	Simulating Biological Pathways with a Continuous Petri Net Using Runge-Kutta Methods.	FBIT	2007	DBLP DOI BibTeX RDF
70	Hartmut Ehrig, Julia Padberg	Graph Grammars and Petri Net Transformations.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
70	P. David Stotts, Richard Furuta	\alphaTrellis: A system for writing and browsing Petri-net-based hypertext.	Applications and Theory of Petri Nets	1989	DBLP DOI BibTeX RDF	hypertext and hypermedia, Trellis hypertext model hypertext, browsing semantics
70	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
70	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 Distributed 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
70	Yan He 0001, 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
70	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
70	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
69	Georg Zetzsche	Erasing in Petri Net Languages and Matrix Grammars.	Developments in Language Theory	2009	DBLP DOI BibTeX RDF
69	Lu Songfeng, Sun Chengfu, Ma Xinjian	Using E-Connection and Description Logic for Formalizing and Analyzing High-Level Petri Net.	SYNASC	2007	DBLP DOI BibTeX RDF
69	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 (1)	2009	DBLP DOI BibTeX RDF	XML-Net, WADL, Petri-Net, supply chain, RESTful web service
67	Éric Badouel, Jules Chenou, Goulven Guillou	Petri Algebras.	ICALP	2005	DBLP DOI BibTeX RDF
67	Kun Xiao, Shihong Chen, Xi Chen	Course Material Research Based on Perti Net.	ICWL	2008	DBLP DOI BibTeX RDF	Petri net, courseware, material
66	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
66	Juliane Dehnert	Four Steps Towards Sound Business Process Models.	Petri Net Technology for Communication-Based Systems	2003	DBLP DOI BibTeX RDF
66	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
65	Gabriel Juhás, Robert Lorenz 0001, Jörg Desel	Unifying Petri Net Semantics with Token Flows.	Petri Nets	2009	DBLP DOI BibTeX RDF
65	João Lourenço, Luís Gomes 0001	Animated Graphical User Interface Generator Framework for Input-Output Place-Transition Petri Net Models.	Petri Nets	2008	DBLP DOI BibTeX RDF
64	Chuanliang Xia	Analysis of Properties of Petri Synthesis Net.	TAMC	2006	DBLP DOI BibTeX RDF	liveness and boundedness, Petri nets, synthesis, analysis
64	Mohammed Elkoutbi, Rudolf K. Keller	User Interface Prototyping Based on UML Scenarios and High-Level Petri Nets.	ICATPN	2000	DBLP DOI BibTeX RDF	scenario specification, Unified Modeling Language, high-level Petri net, User interface prototyping
64	Lianwei Guan, Xingyu Li, Hao Hu 0001	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
63	Bruno Tuffin, Kishor S. Trivedi	Implementation of Importance Splitting Techniques in Stochastic Petri Net Package.	Computer Performance Evaluation / TOOLS	2000	DBLP DOI BibTeX RDF	Fluid Stochastic Petri Nets, Importance splitting techniques, Stochastic Petri Nets, Rare events simulation
62	Daniel Martin 0001, 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
62	Jonathan Billington, Søren Christensen, Kees M. van Hee, Ekkart Kindler, Olaf Kummer, Laure Petrucci, Reinier Post, Christian Stehno, Michael Weber 0003	The Petri Net Markup Language: Concepts, Technology, and Tools.	ICATPN	2003	DBLP DOI BibTeX RDF
61	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
60	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
60	Son T. Vuong, Kendra M. L. 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
60	Tae-hyung Kim, Carl K. Chang	An Aspect-Oriented Approach to Resource Composition in Petri net-based Software Architectural Models.	COMPSAC (1)	2006	DBLP DOI BibTeX RDF
60	Jyh-Cheng Chang, Shao-Chun Li, Maiga Chang, Jia-Sheng Heh	Monitoring the Experiment Process and Diagnosing the Experiment Mistakes Made by Students with Petri Net Modeling.	Edutainment	2006	DBLP DOI BibTeX RDF
60	Shinnosuke Yamaguchi, Katsumi Wasaki, Yasunari Shidama	A high reliability design for NFS server software based on the logical coloured Petri net.	ICARCV	2002	DBLP DOI BibTeX RDF
60	Sunil Hingorani, Oliver Heim	A test suite for exposing design and implementation details in petri net simulators.	ACM Southeast Regional Conference	1995	DBLP DOI BibTeX RDF
59	Ayumu Saito, Masao Nagasaki, Hiroshi Matsuno, Satoru Miyano	Hybrid Functional Petri Net with Extension for Dynamic Pathway Modeling.	Modeling in Systems Biology, The Petri Net Approach	2016	DBLP DOI BibTeX RDF
59	H.-C. Yen	Integer Linear Programming and the Analysis of Some Petri Net Problems.	Theory Comput. Syst.	1999	DBLP DOI BibTeX RDF
58	Astrid Rakow	Decompositional Petri Net Reductions.	IFM	2009	DBLP DOI BibTeX RDF
58	Georg Lausen	Modeling and Analysis of the Behavior of Information Systems.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	semantic hierarchy data model, formal specification, Petri net, Petri nets, data structures, information systems, information flows, data abstractions, flowcharting, specification techniques, behavior constraints
57	Zoran M. Gacovski, Georgi M. Dimirovski	Parameterized Petri Net Reformulation of the Fuzzy Production System.	Fuzzy Days	2001	DBLP DOI BibTeX RDF	parameterized fuzzy-Petri-nets, organization level, decision making, knowledge base, complex systems, Fuzzy reasoning
56	Simon Hardy, Pierre N. Robillard	Visualization of the simulation data of biochemical network models: a painted Petri net approach.	SCSC	2007	DBLP BibTeX RDF	biochemical modeling, quantitative studies, visualization, petri net, invariants
56	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
56	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
56	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
56	P. W. Hoogers, H. C. M. Kleijn, P. S. Thiagarajan	A Trace Semantics for Petri Nets (Extended Abstract).	ICALP	1992	DBLP DOI BibTeX RDF
56	Yen-Liang Chen, Ping-Yu Hsu 0001, Yuan-Bin Chang	A Petri Net Approach to Support Resource Assignment in Project Management.	IEEE Trans. Syst. Man Cybern. Part A	2008	DBLP DOI BibTeX RDF
56	Wolfgang Reisig	On the Expressive Power of Petri Net Schemata.	ICATPN	2005	DBLP DOI BibTeX RDF
56	Peep Küngas	Petri Net Reachability Checking Is Polynomial with Optimal Abstraction Hierarchies.	SARA	2005	DBLP DOI BibTeX RDF
56	Shinnosuke Yamaguchi, A. Nishino, Katsumi Wasaki, Yasunari Shidama	The design verification for the 3DES encipher chip based on an extended Petri net and XML/Java executor.	ICARCV	2004	DBLP DOI BibTeX RDF
56	Luigi Portinale	Exploiting T-invariant Analysis in Diagnostic Reasoning on a Petri Net Model.	Application and Theory of Petri Nets	1993	DBLP DOI BibTeX RDF
56	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
55	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
55	Alexander E. Kostin	A Reachability Algorithm for General Petri Nets Based on Transition Invariants.	MFCS	2006	DBLP DOI BibTeX RDF	transition invariants, Petri nets, reachability
55	Adilson Arcoverde, Gabriel Alves, Ricardo Massa Ferreira Lima	Petri nets tools integration through Eclipse.	eTX	2005	DBLP DOI BibTeX RDF
55	Ashok K. Murugavel, N. Ranganathan	A Real Delay Switching Activity Simulator Based on Petri Net Modeling.	ASP-DAC/VLSI Design	2002	DBLP DOI BibTeX RDF
55	Jia Zhang 0001, Jen-Yao Chung, Carl K. Chang, Seongwoon Kim	WS-Net: A Petri-net Based Specification Model for Web Services.	ICWS	2004	DBLP DOI BibTeX RDF
55	Robin Bergenthum, Jörg Desel, Sebastian Mauser	Comparison of Different Algorithms to Synthesize a Petri Net from a Partial Language.	Trans. Petri Nets Other Model. Concurr.	2009	DBLP DOI BibTeX RDF	Partial Order Behavior, Region Theory, Petri Net, Synthesis Algorithm
55	Carl K. Chang, Seongwoon Kim	I3: A Petri-Net Based Specification Method for Architectural Components.	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
54	Lawrence Cabac, Daniel Moldt, Heiko Rölke	A Proposal for Structuring Petri Net-Based Agent Interaction Protocols.	ICATPN	2003	DBLP DOI BibTeX RDF	agents, high-level Petri nets, Renew, AUML, reference nets, Mulan, agent interaction protocols
53	Hsu-Chun Yen, Bow-Yaw Wang, Ming-Sheng Yang	A Unified Approach for Reasoning about Conflict-Free Petri Nets.	Application and Theory of Petri Nets	1993	DBLP DOI BibTeX RDF
53	Karsten Wolf	Generating Petri Net State Spaces.	ICATPN	2007	DBLP DOI BibTeX RDF
53	Tony Spiteri Staines	Using a Timed Petri Net (TPN) to Model a Bank ATM.	ECBS	2006	DBLP DOI BibTeX RDF
53	Jörg Desel, Gabriel Juhás	''What Is a Petri Net?''.	Unifying Petri Nets	2001	DBLP DOI BibTeX RDF
52	Yi-Sheng Huang, Xiaolan Xie, Chien-Nin Hsu	Modeling and Analysis of Manufacturing Systems using a New class of Petri Nets.	ICRA	2004	DBLP DOI BibTeX RDF
52	Marisa Llorens, Javier Oliver 0001	Introducing Structural Dynamic Changes in Petri Nets: Marked-Controlled Reconfigurable Nets.	ATVA	2004	DBLP DOI BibTeX RDF
52	Hartmut Ehrig, Wolfgang Reisig, Grzegorz Rozenberg, Herbert Weber (eds.)	Petri Net Technology for Communication-Based Systems - Advances in Petri Nets	Petri Net Technology for Communication-Based Systems	2003	DBLP DOI BibTeX RDF
52	Kathrin Hoffmann	Case Study Logistics: Flexible Modeling of Business Processes Using Algebraic Higher-Order Nets.	Petri Net Technology for Communication-Based Systems	2003	DBLP DOI BibTeX RDF