Search results for "Petri-Nets"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
176	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
170	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
163	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
160	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
158	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
153	Rüdiger Valk	Object Petri Nets: Using the Nets-within-Nets Paradigm.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
152	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
150	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
144	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
139	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
135	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
129	Giovanni Denaro, Mauro Pezzè	Petri Nets and Software Engineering.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
129	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
128	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
128	Hartmut Ehrig, Julia Padberg	Graph Grammars and Petri Net Transformations.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
127	Julia Padberg	Abstract Petri Nets as a Uniform Approach to High/Level Petri Nets.	WADT	1998	DBLP DOI BibTeX RDF
127	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
127	Jörg Desel, Gabriel Juhás, Robert Lorenz 0001	Petri Nets over Partial Algebra.	Unifying Petri Nets	2001	DBLP DOI BibTeX RDF
125	René David, Hassane Alla	Autonomous And Timed Continous Petri Nets.	Applications and Theory of Petri Nets	1991	DBLP DOI BibTeX RDF	continuous PN, discrete PN, real marking, quantity of firing, firing speed, Petri nets
123	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
123	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
122	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
122	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
122	Glynn Winskel	Petri nets, morphisms and compositionality.	Applications and Theory in Petri Nets	1985	DBLP DOI BibTeX RDF
120	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
119	Christophe Sibertin-Blanc	A Client-Server Protocol for the Composition of Petri Nets.	Application and Theory of Petri Nets	1993	DBLP DOI BibTeX RDF
119	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
119	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
118	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
117	Magdalena Gajewsky, Hartmut Ehrig	The »Petri Net Baukasten«: An Overview.	Unifying Petri Nets	2001	DBLP DOI BibTeX RDF
117	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
115	Roland Bouroulet, Raymond R. Devillers, Hanna Klaudel, Elisabeth Pelz, Franck Pommereau	Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets.	Petri Nets	2008	DBLP DOI BibTeX RDF	formal specification, Petri nets, process algebras, security protocols
115	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
115	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
114	Ekkart Kindler, Hagen Völzer	Flexibility in Algebraic Nets.	ICATPN	1998	DBLP DOI BibTeX RDF	Algebraic Petri nets, place invariants, verification techniques
114	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
113	Kunihiko Hiraishi	Performance Evaluation of Workflows Using Continuous Petri Nets with Interval Firing Speeds.	Petri Nets	2008	DBLP DOI BibTeX RDF
112	Herbert Weber, Sabine Lembke, Alexander Borusan	Improving the Usability of Petri Nets with the »Petri Net Baukasten«.	Unifying Petri Nets	2001	DBLP DOI BibTeX RDF
110	Isabel Demongodin	Modeling and Analysis of Transportation Networks Using Batches Petri Nets with Controllable Batch Speed.	Petri Nets	2009	DBLP DOI BibTeX RDF	variable speed limit, Batches Petri nets, transportation network, real-time control
110	Dirk Fahland	Oclets - Scenario-Based Modeling with Petri Nets.	Petri Nets	2009	DBLP DOI BibTeX RDF	Petri nets, scenarios, operational semantics, partial order
110	Yao Li 0001, C. Murray Woodside	Iterative Decomposition and Aggregation of Stochastic Marked Graph Petri Nets.	Applications and Theory of Petri Nets	1991	DBLP DOI BibTeX RDF	(Generalized) Stochastic Petri nets, PN reduction and delay equivalent aggregation, Markov chain, marked graph
110	Marco Ajmone Marsan	Stochastic Petri nets: an elementary introduction.	European Workshop on Applications and Theory in Petri Nets	1988	DBLP DOI BibTeX RDF	Performance evaluation, Markov chains, Queues, Stochastic Petri nets
109	Robin Milner	Bigraphs for Petri Nets.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
109	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
109	Louis-Marie Le Ny, Bruno Tuffin	Modeling and Analysis of Multi-class Threshold-Based Queues with Hysteresis Using Stochastic Petri Nets.	ICATPN	2002	DBLP DOI BibTeX RDF	Threshold queues, Fluid Stochastic Petri Nets, Performance analysis, Stochastic Petri Nets, Hysteresis
109	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
107	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
107	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
107	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
107	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
107	Jörg Desel, Gabriel Juhás	''What Is a Petri Net?''.	Unifying Petri Nets	2001	DBLP DOI BibTeX RDF
106	Moulaye Ndiaye, Jean-François Pétin, Jean-Philippe Georges, Jacques Camerini	Practical Use of Coloured Petri Nets for the Design and Performance Assessment of Distributed Automation Architectures.	PNSE @ Petri Nets	2016	DBLP BibTeX RDF
106	Toshiyuki Miyamoto	CSCB Tools: A Tool to Synthesize Pareto Optimal State Machine Models from Choreography Using Petri Nets.	PNSE @ Petri Nets	2016	DBLP BibTeX RDF
106	Simon V. Hardy, Mathieu Pagé Fortin	Analysis of the Signal Transduction Dynamics Regulating mTOR with Mathematical Modeling, Petri Nets and Dynamic Graphs.	PNSE @ Petri Nets	2016	DBLP BibTeX RDF
106	Irina A. Lomazova, Vera O. Ermakova	Verification of Nested Petri Nets Using an Unfolding Approach.	PNSE @ Petri Nets	2016	DBLP BibTeX RDF
106	Kent Inge Fagerland Simonsen, Lars Michael Kristensen, Ekkart Kindler	Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification.	PNSE @ Petri Nets	2015	DBLP BibTeX RDF
106	Jörg Desel, Javier Esparza	Negotiations and Petri Nets.	PNSE @ Petri Nets	2015	DBLP BibTeX RDF
106	Elisabeth Pelz, Abderraouf Kabouche, Louchka Popova-Zeugmann	Interval-Timed Petri Nets with Auto-concurrent Semantics and their State Equation.	PNSE @ Petri Nets	2015	DBLP BibTeX RDF
106	Luca Bernardinello, Görkem Kilinç 0001, Lucia Pomello	Non-Interference Notions Based on Reveals and Excludes Relations for Petri Nets.	PNSE @ Petri Nets	2015	DBLP BibTeX RDF
106	Jan Henrik Röwekamp, Michael Haustermann	Applying Petri Nets to Approximation of the Euclidean Distance with the Example of SIFT.	PNSE @ Petri Nets	2015	DBLP BibTeX RDF
106	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
106	Eike Best, Maciej Koutny	Process Algebra: A Petri-Net-Oriented Tutorial.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF	Petri nets, process algebras
106	Alain Finkel	The Minimal Coverability Graph for Petri Nets.	Applications and Theory of Petri Nets	1991	DBLP DOI BibTeX RDF	Karp-Miller graph, minimal coverability graph, effective computation of the minimal coverability graph, verification of protocols, Petri nets, decidability
106	B. Bütler, Rob Esser, R. Mattmann	A distributed simulator for high order Petri nets.	Applications and Theory of Petri Nets	1989	DBLP DOI BibTeX RDF	Embedded Systems, Petri nets, CSP, Distributed Simulator, Executable Specification, Transputer, Occam, Interconnection Architecture
105	Julian C. Bradfield	Proving temporal properties of Petri Nets.	Applications and Theory of Petri Nets	1990	DBLP DOI BibTeX RDF	model-checking, Petri nets, temporal logic, tableau systems
105	Robert Valette, Babou Bako	Software Implementation of Petri nets and compilation of rule-based systems.	Applications and Theory of Petri Nets	1990	DBLP DOI BibTeX RDF	Petri net Implementation, Comparison with rule-based approach, high-level Petri nets
105	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
105	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
105	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
105	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
105	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
105	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
105	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
105	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
105	Olivier Bertrand, Patrice Carle, Christine Choppy	Modelling chronicle recognition for distributed simulation processing with coloured Petri nets.	SimuTools	2009	DBLP DOI BibTeX RDF	airport simulation, chronicle recognition formal modelling, distributed simulation processing, HLA, coloured petri nets
103	Josep Carmona 0001, Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexandre Yakovlev	A Symbolic Algorithm for the Synthesis of Bounded Petri Nets.	Petri Nets	2008	DBLP DOI BibTeX RDF
103	J. L. Lambert	Some Consequences of the Decidability of the Reachability Problem for Petri Nets.	European Workshop on Applications and Theory of Petri Nets	1987	DBLP DOI BibTeX RDF
103	Jacques Vautherin	Parallel systems specitications with coloured Petri nets and algebraic specifications.	European Workshop on Applications and Theory of Petri Nets	1986	DBLP DOI BibTeX RDF
103	Michel Parigot, Elisabeth Pelz	A logical formalism for the study of the infinite behaviour of Petri nets.	Applications and Theory in Petri Nets	1985	DBLP DOI BibTeX RDF
103	Wil M. P. van der Aalst	Business Process Management Demystified: A Tutorial on Models, Systems and Standards for Workflow Management.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF	XML Process Definition Language(XPDL), Workflow verification, Workflow management, Business process management, Workflow management systems, Workflow patterns
103	Mateus de Oliveira Oliveira	Hasse Diagram Generators and Petri Nets.	Petri Nets	2009	DBLP DOI BibTeX RDF	Causality/partial order theory of concurrency
103	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
103	Marisa Llorens, Javier Oliver 0001	Structural and Dynamic Changes in Concurrent Systems: Reconfigurable Petri Nets.	IEEE Trans. Computers	2004	DBLP DOI BibTeX RDF
102	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
102	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
102	Hsu-Chun Yen	Priority Conflict-Free Petri Nets.	Acta Informatica	1998	DBLP DOI BibTeX RDF
102	Gabriel Juhás, Robert Lorenz 0001, Jörg Desel	Unifying Petri Net Semantics with Token Flows.	Petri Nets	2009	DBLP DOI BibTeX RDF
102	Qian Zhang, Herbert Grünbacher	Petri Nets Modeling in Pipelined Microprocessor Design.	Application and Theory of Petri Nets	1993	DBLP DOI BibTeX RDF
102	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
101	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
101	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
101	Roberto Bruni, Ugo Montanari	Transactions and Zero-Safe Nets.	Unifying Petri Nets	2001	DBLP DOI BibTeX RDF
100	Carmen-Veronica Bobeanu, Eugene J. H. Kerckhoffs, Hendrik Van Landeghem	Modeling of discrete event systems: A holistic and incremental approach using Petri nets.	ACM Trans. Model. Comput. Simul.	2004	DBLP DOI BibTeX RDF	experimental frame, Petri nets, DEVS, structural modeling, Algebraic structures
100	Simona Bernardi 0001, Andrea Bobbio, Susanna Donatelli	Petri Nets and Dependability.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
100	Laura Recalde, Manuel Silva Suárez, Joaquin Ezpeleta, Enrique Teruel	Petri Nets and Manufacturing Systems: An Examples-Driven Tour.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
100	Nadia Busi, Roberto Gorrieri	A Survey on Non-interference with Petri Nets.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
99	Ali Khalili, Amir Jalaly Bidgoly, Mohammad Abdollahi Azgomi	PDETool: A Multi-formalism Modeling Tool for Discrete-Event Systems Based on SDES Description.	Petri Nets	2009	DBLP DOI BibTeX RDF	Stochastic discrete-event systems, SDES description, PDETool, Petri nets
99	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
98	Luciano Baresi, Mauro Pezzè	On Formalizing UML with High-Level Petri Nets.	Concurrent Object-Oriented Programming and Petri Nets	2001	DBLP DOI BibTeX RDF
98	Charles Lakos	Object Oriented Modeling with Object Petri Nets.	Concurrent Object-Oriented Programming and Petri Nets	2001	DBLP DOI BibTeX RDF