Search results for "A-nets"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
113	Julia Padberg, Hartmut Ehrig, Grzegorz Rozenberg	Behavior and Realization Construction for Petri Nets Based on Free Monoid and Power Set Graphs.	Unifying Petri Nets	2001	DBLP DOI BibTeX RDF	place/transition nets, elementary nets, uniform approach, realization problem, category theory
110	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
97	Rüdiger Valk	Object Petri Nets: Using the Nets-within-Nets Paradigm.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
88	Christian Dimitrovici, Udo Hummert, Laure Petrucci	Semantics, composition and net properties of algebraic high-level nets.	Applications and Theory of Petri Nets	1990	DBLP DOI BibTeX RDF	coloured nets, net invariants and properties, algebraic net schemes and high-level nets, morphisms of algebraic high-level nets, normed scheme semantics, net properties of high-level nets, morphisms
87	Jean-Michel Couvreur, Serge Haddad, Jean-François Pradat-Peyre	Generative Families of Positive Invariants in Coloured Nets Sub-Classes.	Applications and Theory of Petri Nets	1991	DBLP DOI BibTeX RDF	Coloured nets, positive flows computation, Farkas' algorithm, structural analysis
86	Michael Köhler-Bußmeier	Hornets: Nets within Nets Combined with Net Algebra.	Petri Nets	2009	DBLP DOI BibTeX RDF
86	Eugenio Battiston, Fiorella de Cindio, Giancarlo Mauri	OBJSA Nets: a Class of High- level Nets Having Objects as Domains.	European Workshop on Applications and Theory of Petri Nets	1987	DBLP DOI BibTeX RDF
86	Wlodzimierz M. Zuberek	M-timed Petri nets, priorities, preemptions, and performance evaluation of Petri nets.	Applications and Theory in Petri Nets	1985	DBLP DOI BibTeX RDF
86	Ghassan Chehaibar	Replacement of Open Interface Subnets and Stable State Transformation Equivalence.	Applications and Theory of Petri Nets	1991	DBLP DOI BibTeX RDF	Place-Transition Nets, Hierarchical Design and Analysis, Open Interface, Nets and Systems, Stable State Transformation Equivalence and Preorder, Robust Open Interface Nets, Expansion, Replacement
86	Gianfranco Ciardo, Reinhard German, Christoph Lindemann	A Characterization of the Stochastic Process Underlying a Stochastic Petri Net.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	distributed firing times, SPN classes, modeling power, deterministic Petri nets, semiMarkovian stochastic Petri nets, generalized timed Petri nets, state discretization, continuous-time case, PH-type distributions, simulation, Petri nets, Markov processes, stochastic processes, stochastic process, stochastic Petri net, stochastic Petri nets, timed Petri nets, generalized stochastic Petri nets, embedded Markov chain
86	Jean-Michel Couvreur, Javier Martínez	Linear invariants in commutative high level nets.	Applications and Theory of Petri Nets	1989	DBLP DOI BibTeX RDF	Linear invariants, flow computation, structural analysis methods, subclasses of Petri nets, colored nets
83	Mark-Oliver Stehr, José Meseguer 0001, Peter Csaba Ölveczky	Rewriting Logic as a Unifying Framework for Petri Nets.	Unifying Petri Nets	2001	DBLP DOI BibTeX RDF
83	Manuel Silva Suárez, Robert Valette	Petri nets and flexible manufacturing.	European Workshop on Applications and Theory in Petri Nets	1988	DBLP DOI BibTeX RDF
81	Wil M. P. van der Aalst, Kees M. van Hee, Arthur H. M. ter Hofstede, Natalia Sidorova, H. M. W. Verbeek, Marc Voorhoeve, Moe Thandar Wynn	Soundness of Workflow Nets with Reset Arcs.	Trans. Petri Nets Other Model. Concurr.	2009	DBLP DOI BibTeX RDF	Workflow Nets, Reset Nets, Verification, Petri Nets, Decidability, Soundness
80	Christophe Sibertin-Blanc	A Client-Server Protocol for the Composition of Petri Nets.	Application and Theory of Petri Nets	1993	DBLP DOI BibTeX RDF
80	Søren Christensen, Niels Damgaard Hansen	Coloured Petri Nets Extended with Place Capacities, Test Arcs and Inhibitor Arcs.	Application and Theory of Petri Nets	1993	DBLP DOI BibTeX RDF
79	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
78	Younes Souissi	On liveness preservation by composition of nets via a set of places.	Applications and Theory of Petri Nets	1990	DBLP DOI BibTeX RDF	F-monotonicity, F-robust net, F-strong net, liveness preservation, Composition
77	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
77	Ludmila Cherkasova, Rodney R. Howell, Louis E. Rosier	Bounded Self-Stabilizing Petri Nets.	Applications and Theory of Petri Nets	1991	DBLP DOI BibTeX RDF	bounded Petri nets, computational complexity, Self-stabilization
77	Kathrin Hoffmann, Hartmut Ehrig, Till Mossakowski	High-Level Nets with Nets and Rules as Tokens.	ICATPN	2005	DBLP DOI BibTeX RDF	High-level net models, algebraic high-level nets, nets and rules as tokens, integration of net theory and graph transformations, case study: House of Philosophers, graph grammars and Petri net transformations, algebraic specifications
76	Ekkart Kindler, Laure Petrucci	Towards a Standard for Modular Petri Nets: A Formalisation.	Petri Nets	2009	DBLP DOI BibTeX RDF	Modular Petri Nets, Standardisation, High-Level Nets
76	Hartmann J. Genrich	Equivalence transformations of PrT-nets.	European Workshop on Applications and Theory in Petri Nets	1988	DBLP DOI BibTeX RDF	Higher-level Petri nets, predicate transition nets, rewriting rules, semantical equivalence
76	Pedro Álvarez 0001, José A. Bañares, Joaquin Ezpeleta	Approaching Web Service Coordination and Composition by Means of Petri Nets. The Case of the Nets-Within-Nets Paradigm.	ICSOC	2005	DBLP DOI BibTeX RDF	Service Composition and Coordination, Formal Methods for Service-Oriented Architectures, Nets-within-Nets paradigm, Petri nets
76	Michael Köhler 0001, Daniel Moldt, Heiko Rölke	Modelling Mobility and Mobile Agents Using Nets within Nets.	ICATPN	2003	DBLP DOI BibTeX RDF	mobility, agent, high-level Petri nets, mobile agent system, Renew, nets within nets, Mulan
75	Markus Lindquist	Parameterized Reachability Trees for Predicate/Transition Nets.	Applications and Theory of Petri Nets	1991	DBLP DOI BibTeX RDF	Petri nets, reachability analysis, Predicate/Transition nets, high level nets
75	Michael Köhler 0001, Berndt Farwer	Object Nets for Mobility.	ICATPN	2007	DBLP DOI BibTeX RDF	object nets, Petri nets, Mobile agents, nets-within-nets, name spaces
73	Kees M. van Hee, Irina A. Lomazova, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve	Nested Nets for Adaptive Systems.	ICATPN	2006	DBLP DOI BibTeX RDF	modeling, adaptivity, Petri nets, workflow
73	Daniel Moldt, Jan Ortmann	DaGen: A Tool for Automatic Translation from DAML-S to High-Level Petri Nets.	FASE	2004	DBLP DOI BibTeX RDF	web service, workflow, business process, high-level Petri nets, Renew, reference nets, nets within nets, DAML-S, process ontology
73	Philippe Darondeau, Maciej Koutny, Marta Pietkiewicz-Koutny, Alexandre Yakovlev	Synthesis of Nets with Step Firing Policies.	Petri Nets	2008	DBLP DOI BibTeX RDF	step firing policy, step transition system, synthesis problem, Petri nets, regions
72	Morgan Magnin, Didier Lime, Olivier H. Roux	Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics (Theory Paper).	Petri Nets	2008	DBLP DOI BibTeX RDF	Verification using nets, symbolic state space, Time Petri nets, discrete-time, dense-time, stopwatches
71	Ghassan Chehaibar	Use of reentrant nets in modular analysis of colored nets.	Applications and Theory of Petri Nets	1990	DBLP DOI BibTeX RDF	Modular Analysis, Reentrant Net, Observational Home Equivalence, Composition, Colored Petri Nets, Replacement
71	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
71	Julia Padberg	Abstract Petri Nets as a Uniform Approach to High/Level Petri Nets.	WADT	1998	DBLP DOI BibTeX RDF
70	Paolo Baldan, Andrea Corradini 0001, Barbara König 0001, Stefan Schwoon	McMillan's Complete Prefix for Contextual Nets.	Trans. Petri Nets Other Model. Concurr.	2008	DBLP DOI BibTeX RDF	read arcs, complete finite prefix, verification, Petri nets, unfolding
69	Jörg Desel, Gabriel Juhás, Robert Lorenz 0001	Petri Nets over Partial Algebra.	Unifying Petri Nets	2001	DBLP DOI BibTeX RDF
69	Roberto Bruni, Ugo Montanari	Transactions and Zero-Safe Nets.	Unifying Petri Nets	2001	DBLP DOI BibTeX RDF
69	Glynn Winskel	Petri nets, morphisms and compositionality.	Applications and Theory in Petri Nets	1985	DBLP DOI BibTeX RDF
69	Daniel Moldt, Heiko Rölke	Pattern Based Workflow Design Using Reference Nets.	Business Process Management	2003	DBLP DOI BibTeX RDF	workflow, patterns, IDE, high-level Petri nets, workflow patterns, Renew, Reference nets, nets within nets
69	Twan Basten, Marc Voorhoeve	An Algebraic Semantics for Hierarchical P/T Nets.	Application and Theory of Petri Nets	1995	DBLP DOI BibTeX RDF	Place/Transition nets, hierarchical Petri nets, verification, abstraction, process algebra, top-down design
68	Javier Esparza, Manuel Silva Suárez	Circuits, handles, bridges and nets.	Applications and Theory of Petri Nets	1989	DBLP DOI BibTeX RDF	Free Choice nets, Synthesis, Structure Theory
68	Roberto Bruni, Hernán C. Melgratti, Ugo Montanari	Extending the Zero-Safe Approach to Coloured, Reconfigurable and Dynamic Nets.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
68	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
67	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
67	Andrei Kovalyov	An O(\|S\|×\|T\|)- Algorithm to Verify if a Net is Regular.	Application and Theory of Petri Nets	1996	DBLP DOI BibTeX RDF
67	Rainer Fehling	A Concept of Hierarchical Petri Nets with Building Blocks.	Applications and Theory of Petri Nets	1991	DBLP DOI BibTeX RDF	system design using nets, Computer tools for nets
66	Fausto Sessego, Alessandro Giua, Carla Seatzu	HYPENS: A Matlab Tool for Timed Discrete, Continuous and Hybrid Petri Nets.	Petri Nets	2008	DBLP DOI BibTeX RDF	Timed and stochastic nets, Hybrid nets, Computer tools for nets
66	Hans Fleischhack, Elisabeth Pelz	Hierarchical Timed High Level Nets and Their Branching Processes.	ICATPN	2003	DBLP DOI BibTeX RDF	Timed and stochastic nets, partial order semantics
66	Ekkart Kindler, Hagen Völzer	Flexibility in Algebraic Nets.	ICATPN	1998	DBLP DOI BibTeX RDF	Algebraic Petri nets, place invariants, verification techniques
65	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
65	Jean Fanchon	Trace Channel Nets.	ICATPN	1999	DBLP DOI BibTeX RDF	Fifo Nets, Coloured Nets, concurrent automata, recognisability, concurrency, asynchronous communication, Mazurkiewicz traces
64	Fernando Rosa-Velardo, David de Frutos-Escrig	Decidability Results for Restricted Models of Petri Nets with Name Creation and Replication.	Petri Nets	2009	DBLP DOI BibTeX RDF
64	Jörg Desel	A Proof of the Rank Theorem for Extended Free Choice Nets.	Application and Theory of Petri Nets	1992	DBLP DOI BibTeX RDF	free choice nets - analysis, structure and behaviour of nets
64	Walter Vogler	Representation of a swapping class by one net.	European Workshop on Applications and Theory in Petri Nets	1988	DBLP DOI BibTeX RDF	P/T-nets, equivalence of firing sequences, equivalence of processes, S-nets, processes, Partial order semantics
64	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
63	H. C. M. Kleijn, Maciej Koutny	Infinite Process Semantics of Inhibitor Nets.	ICATPN	2006	DBLP DOI BibTeX RDF	theory of concurrency, weighted inhibitor arcs, causality semantics, infinite processes, occurrence nets, Petri nets, step sequences
63	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
63	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
63	Gerog Hartung	Programming a Closely Coupled Multiprocessor System with Hight Level Petri Nets.	European Workshop on Applications and Theory of Petri Nets	1987	DBLP DOI BibTeX RDF	Topics Application of petri nets to programming language, Interpretation of nets
62	Serge Haddad, Patrice Moreaux, Matteo Sereno, Manuel Silva Suárez	Structural Characterization and Qualitative Properties of Product Form Stochastic Petri Nets.	ICATPN	2001	DBLP DOI BibTeX RDF
61	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
61	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
61	Michael Köhler 0001, Heiko Rölke	Web Service Orchestration with Super-Dual Object Nets.	ICATPN	2007	DBLP DOI BibTeX RDF	super-dual nets, Petri nets, refinement, duality, nets-within-nets
61	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
60	Charles Lakos	The Consistent Use of Names and Polymorphism in the Definition of Object Petri Nets.	Application and Theory of Petri Nets	1996	DBLP DOI BibTeX RDF	Theory of High-Level Petri Nets, Multiple Levels of Abstraction, Object-Orientation
60	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
60	Raffaele di Giovanni	Hood nets.	Applications and Theory of Petri Nets	1990	DBLP DOI BibTeX RDF	data-flow and control-flow computational models, Object-Oriented Design, HOOD
60	Kurt Jensen	Coloured Petri nets: A high level language for system design and analysis.	Applications and Theory of Petri Nets	1989	DBLP DOI BibTeX RDF
60	Rodney R. Howell, Louis E. Rosier	On Questions of Fairness and Temporal Logic for Conflict- Free Petri Nets.	European Workshop on Applications and Theory of Petri Nets	1987	DBLP DOI BibTeX RDF
60	Theodor Hildebrand	Design and programming of interfaces for monetic applications using Petri nets.	European Workshop on Applications and Theory in Petri Nets	1984	DBLP DOI BibTeX RDF
60	P. S. Thiagarajan, Klaus Voss	In praise of free choice nets.	European Workshop on Applications and Theory in Petri Nets	1984	DBLP DOI BibTeX RDF
59	Fabien Bonnefoi, Christine Choppy, Fabrice Kordon	A Discretization Method from Coloured to Symmetric Nets: Application to an Industrial Example.	Trans. Petri Nets Other Model. Concurr.	2009	DBLP DOI BibTeX RDF	Symmetric Petri Nets, Hybrid Systems, Intelligent Transport Systems, Discretization, Coloured Petri Nets
59	Jörg Desel	On abstraction of nets.	Applications and Theory of Petri Nets	1990	DBLP DOI BibTeX RDF	Net morphisms, coarsening and composition of nets, transformations
59	José Manuel Colom, Manuel Silva Suárez	Convex geometry and semiflows in P/T nets. A comparative study of algorithms for computation of minimal P-semiflows.	Applications and Theory of Petri Nets	1989	DBLP DOI BibTeX RDF	Structural analysis of P/T nets, Minimal semiflows, Extremal direction of a cone, Algorithms to compute all minimal semiflows, Tests of minimality, Convex Geometry
59	Claude Dutheillet, Serge Haddad	Regular stochastic Petri nets.	Applications and Theory of Petri Nets	1989	DBLP DOI BibTeX RDF	stochastic nets, Higher-level net models
59	Hervé P. Hillion	Timed Petri nets and application to multi-stage production systems.	European Workshop on Applications and Theory in Petri Nets	1988	DBLP DOI BibTeX RDF	Periodic Functioning, Multi-stage Production Systems, Performance Evaluation, Timed Petri Nets
59	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
58	Josep Carmona 0001, Jordi Cortadella, Victor Khomenko, Alexandre Yakovlev	Synthesis of Asynchronous Hardware from Petri Nets.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
58	Giovanni Denaro, Mauro Pezzè	Petri Nets and Software Engineering.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
58	Ludmila Cherkasova, Vadim E. Kotov	Descriptive and analytical process algebras.	European Workshop on Applications and Theory in Petri Nets	1988	DBLP DOI BibTeX RDF	concurrent nondeterministic processes, non-actions, occurrence nets, A-nets, M-density, Petri nets, denotational semantics, partially ordered sets, true concurrency
58	Marie-Paule Flé, Gérard Roucairol	Fair serializability of iterated transactions using FIFO-nets.	European Workshop on Applications and Theory in Petri Nets	1984	DBLP DOI BibTeX RDF	maximal serializability, Petri-nets (FIFO-Nets), concurrency, fair
57	JiDong Ge, Haiyang Hu, Ping Lu, Hao Hu 0001, Jian Lü 0001	Translation of Nets Within Nets in Cross-organizational Software Process Modeling.	ISPW	2005	DBLP DOI BibTeX RDF
57	Stephen J. H. Yang, Jeffrey J. P. Tsai, Chyun-Chyi Chen	Fuzzy Rule Base Systems Verification Using High-Level Petri Nets.	IEEE Trans. Knowl. Data Eng.	2003	DBLP DOI BibTeX RDF	rules reasoning, rule verification, Petri nets, formalism, high-level Petri nets, fuzzy rules, certainty factors
57	Kamel Barkaoui, Jean-Michel Couvreur, Claude Dutheillet	On Liveness in Extended non Self-Controlling Nets.	Application and Theory of Petri Nets	1995	DBLP DOI BibTeX RDF	deadlocks and traps, liveness
57	José Meseguer 0001, Ugo Montanari, Vladimiro Sassone	On the Model of Computation of Place/Transition Petri Nets.	Application and Theory of Petri Nets	1994	DBLP DOI BibTeX RDF
57	Christophe Sibertin-Blanc	Cooperative Nets.	Application and Theory of Petri Nets	1994	DBLP DOI BibTeX RDF
57	Michel Barbeau, Gregor von Bochmann	A Subset of Lotos with the Computational Power of Place/Transition-Nets.	Application and Theory of Petri Nets	1993	DBLP DOI BibTeX RDF
56	Rémi Bastide, Philippe A. Palanque	A Petri Net based Environment for the Design of Event-driven Interfaces.	Application and Theory of Petri Nets	1995	DBLP DOI BibTeX RDF	Key-words User Interface, Design, High-level Petri nets, Computer tools for nets
56	Gabriel Juhás, Robert Lorenz 0001, Sebastian Mauser	Complete Process Semantics for Inhibitor Nets.	ICATPN	2007	DBLP DOI BibTeX RDF
56	Ranko Lazic 0001, Thomas Christopher Newcomb, Joël Ouaknine, A. W. Roscoe 0001, James Worrell 0001	Nets with Tokens Which Carry Data.	ICATPN	2007	DBLP DOI BibTeX RDF
56	Lawrence Cabac, Michael Duvigneau, Daniel Moldt, Heiko Rölke	Modeling Dynamic Architectures Using Nets-Within-Nets.	ICATPN	2005	DBLP DOI BibTeX RDF
56	Patrick Coscas, Gilles Fouquier, Agnes Lanusse	Modelling actor programs using Predicate/Transition nets.	PDP	1995	DBLP DOI BibTeX RDF	actor programs, translation scheme, PRAL-M, PTN, visualizing, parallel programming, Petri nets, data structures, data structures, debugging, parallel machines, formalism, high-level Petri nets, concurrent computation, Predicate/Transition nets
56	A. Diagne	Control Properties in Object-Oriented Specifications.	Concurrent Object-Oriented Programming and Petri Nets	2001	DBLP DOI BibTeX RDF	Object Methodology, Control Properties, Verification & Validation, Petri Nets
55	Moe Thandar Wynn, David Edmond, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede	Achieving a General, Formal and Decidable Approach to the OR-Join in Workflow Using Reset Nets.	ICATPN	2005	DBLP DOI BibTeX RDF	OR-join, synchronizing merge, Reset nets, Petri nets, Workflow patterns, YAWL
55	Roberto Bruni, Ugo Montanari	Executing Transactions in Zero-Safe Nets.	ICATPN	2000	DBLP DOI BibTeX RDF	PT nets, zero-safe nets, net unfolding, reachability, distributed transactions
55	Hartmut Ehrig, Julia Padberg	Graph Grammars and Petri Net Transformations.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
55	Mateus de Oliveira Oliveira	Hasse Diagram Generators and Petri Nets.	Petri Nets	2009	DBLP DOI BibTeX RDF	Causality/partial order theory of concurrency
55	Kunihiko Hiraishi	Performance Evaluation of Workflows Using Continuous Petri Nets with Interval Firing Speeds.	Petri Nets	2008	DBLP DOI BibTeX RDF
55	Roberto Bruni, Vladimiro Sassone	Two Algebraic Process Semantics for Contextual Nets.	Unifying Petri Nets	2001	DBLP DOI BibTeX RDF
55	Younes Souissi	Deterministic Systems of Sequential Processes: a class of structured Petri nets.	Applications and Theory of Petri Nets	1991	DBLP DOI BibTeX RDF	Deterministic system of sequential processes, composition, modularity, liveness, monotonicity, boundedness, properties preservation