Search results for "petri nets"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
8	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
5	Nick C. Russell, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede	Designing a Workflow System Using Coloured Petri Nets.	T. Petri Nets and Other Models of Concurrency	2009	DBLP DOI BibTeX RDF	newYAWL, business process management, coloured Petri nets, workflow patterns, workflow technology
5	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
5	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
5	Dirk Fahland	Oclets - Scenario-Based Modeling with Petri Nets.	Petri Nets	2009	DBLP DOI BibTeX RDF	Petri nets, scenarios, operational semantics, partial order
5	Fabien Bonnefoi, Christine Choppy, Fabrice Kordon	A Discretization Method from Coloured to Symmetric Nets: Application to an Industrial Example.	T. Petri Nets and Other Models of Concurrency	2009	DBLP DOI BibTeX RDF	Symmetric Petri Nets, Hybrid Systems, Intelligent Transport Systems, Discretization, Coloured Petri Nets
5	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
5	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
5	Lars Michael Kristensen, Søren Christensen	Implementing Coloured Petri Nets Using a Functional Programming Language.	Higher-Order and Symbolic Computation	2004	DBLP DOI BibTeX RDF	distributed and concurrent computation, programming environments and tools, Petri Nets, Coloured Petri Nets, high-level Petri Nets, implementation techniques
5	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
5	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
5	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
5	Libero Nigro, Francesco Pupo	Modeling and Analysing DART Systems Through High-Level Petri Nets.	Application and Theory of Petri Nets	1996	DBLP DOI BibTeX RDF	distributed systems, real time, Petri nets, animation, object-orientation, scheduling analysis, executable specifications
5	Reinhard German, Aad P. A. van Moorsel, Muhammad A. Qureshi, William H. Sanders	Expected Impulsive Rewards in Markov Regenerative Stochastic Petri Nets.	Application and Theory of Petri Nets	1996	DBLP DOI BibTeX RDF	Markov regenerative stochastic Petri nets, method of supplementary variables, rate and impulse reward measures
5	D. J. Floreani, Jonathan Billington, A. J. Dadej	Designing and Verifying a Communications Gateway Using Coloured Petri Nets and Design/CPN.	Application and Theory of Petri Nets	1996	DBLP DOI BibTeX RDF	Gateway Architecture, Coloured Petri Nets, Protocol Modelling
5	Jeffrey J. P. Tsai, Steve Jennhwa Yang, Yao-Hsiung Chang	Timing Constraint Petri Nets and Their Application to Schedulability Analysis of Real-Time System Specifications.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	real-time systems, Petri nets, synthesis, timing analysis, Timing constraints, time Petri nets, timed Petri nets, specification and verification
5	Christian Kelling	TimeNET-Sim-a parallel simulator for stochastic Petri nets.	Annual Simulation Symposium	1995	DBLP DOI BibTeX RDF	TimeNET software package, TimeNET-Sim, nonMarkovian Petri nets, variance reduction techniques, parallel distributed simulation framework, performance evaluation, modeling, parallel processing, Petri nets, parallelization, tool, statistical analysis, statistical analysis, discrete event simulation, stochastic processes, parallel simulator, stochastic Petri nets, software packages, control variates
5	Miklós Telek, Andrea Bobbio	Markov Regenerative Stochastic Petri Nets with Age Type General Transitions.	Application and Theory of Petri Nets	1995	DBLP DOI BibTeX RDF	Queueing systems with preemptive resume service, Stochastic Petri Nets, Transient analysis, Markov regenerative processes
5	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
5	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
5	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
5	Itsuo Hatono, Keiichi Yamagata, Hiroyuki Tamura	Modeling and On-Line Scheduling of Flexible Manufacturing Systems Using Stochastic Petri Nets.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	repair time, discrete-time stochastic Petri nets, scheduling, Petri nets, knowledge based systems, uncertainty, digital simulation, stochastic Petri nets, hierarchical structures, rule base, online scheduling, processing time, flexible manufacturing systems, flexible manufacturing systems, machine tools, continuous-time
5	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
5	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
5	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
5	Yao Li, 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
5	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
5	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
5	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
5	B. Bütler, R. 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
5	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
5	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
5	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
5	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
4	Charles Lakos	Modelling Mobile IP with Mobile Petri Nets.	T. Petri Nets and Other Models of Concurrency	2009	DBLP DOI BibTeX RDF
4	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
4	Mateus de Oliveira Oliveira	Hasse Diagram Generators and Petri Nets.	Petri Nets	2009	DBLP DOI BibTeX RDF	Causality/partial order theory of concurrency
4	Jean Mairesse, Hoang-Thach Nguyen	Deficiency Zero Petri Nets and Product Form.	Petri Nets	2009	DBLP DOI BibTeX RDF
4	Monika Heiner, Martin Schwarick, Alexej Tovchigrechko	DSSZ-MC - A Tool for Symbolic Analysis of Extended Petri Nets.	Petri Nets	2009	DBLP DOI BibTeX RDF
4	Gregor von Bochmann, Guy-Vincent Jourdan	Testing k-Safe Petri Nets.	TestCom/FATES	2009	DBLP DOI BibTeX RDF	k -safe Petri nets, free-choice Petri nets, fault model, Conformance testing, automatic test generation
4	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.	T. Petri Nets and Other Models of Concurrency	2009	DBLP DOI BibTeX RDF	Workflow Nets, Reset Nets, Verification, Petri Nets, Decidability, Soundness
4	Jonathan Billington, Cong Yuan	On Modelling and Analysing the Dynamic MANET On-Demand (DYMO) Routing Protocol.	T. Petri Nets and Other Models of Concurrency	2009	DBLP DOI BibTeX RDF	DYMO, MANETs, Coloured Petri Nets, Reachability Analysis, On-Demand Routing
4	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
4	Jordi Cortadella, Michael Kishinevsky, Dmitry Bufistov, Josep Carmona, Jorge Júlvez	Elasticity and Petri Nets.	T. Petri Nets and Other Models of Concurrency	2008	DBLP DOI BibTeX RDF
4	Lars Michael Kristensen, Kurt Jensen	Teaching Modelling and Validation of Concurrent Systems Using Coloured Petri Nets.	T. Petri Nets and Other Models of Concurrency	2008	DBLP DOI BibTeX RDF
4	Djaouida Dahmani, Jean-Michel Ilié, Malika Boukala	Time Recursive Petri Nets.	T. Petri Nets and Other Models of Concurrency	2008	DBLP DOI BibTeX RDF	recursive Petri net, threads, recursivity, time Petri net
4	Lay G. Ding, Lin Liu	Modelling and Analysis of the INVITE Transaction of the Session Initiation Protocol Using Coloured Petri Nets.	Petri Nets	2008	DBLP DOI BibTeX RDF	Session Initiation Protocol, Coloured Petri Nets, protocol verification
4	Kunihiko Hiraishi	Performance Evaluation of Workflows Using Continuous Petri Nets with Interval Firing Speeds.	Petri Nets	2008	DBLP DOI BibTeX RDF
4	Josep Carmona, 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
4	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
4	Robin Bergenthum, Jörg Desel, Robert Lorenz, Sebastian Mauser	Synthesis of Petri Nets from Scenarios with VipTool.	Petri Nets	2008	DBLP DOI BibTeX RDF
4	Robin Bergenthum, Robert Lorenz, Sebastian Mauser	Faster Unfolding of General Petri Nets Based on Token Flows.	Petri Nets	2008	DBLP DOI BibTeX RDF
4	Matthias Jantzen, Georg Zetzsche	Labeled Step Sequences in Petri Nets.	Petri Nets	2008	DBLP DOI BibTeX RDF
4	Paolo Baldan, Andrea Corradini, Barbara König, Stefan Schwoon	McMillan's Complete Prefix for Contextual Nets.	T. Petri Nets and Other Models of Concurrency	2008	DBLP DOI BibTeX RDF	read arcs, complete finite prefix, verification, Petri nets, unfolding
4	Lawrence Cabac, Nicolas Denz	Net Components for the Integration of Process Mining into Agent-Oriented Software Engineering.	T. Petri Nets and Other Models of Concurrency	2008	DBLP DOI BibTeX RDF	net components, process mining chains, modeling, Petri nets
4	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
4	Dianxiang Xu, Kendall E. Nygard	Threat-Driven Modeling and Verification of Secure Software Using Aspect-Oriented Petri Nets.	IEEE Trans. Software Eng.	2006	DBLP DOI BibTeX RDF	aspect-oriented Petri nets, modeling, verification, Petri nets, aspect-oriented software development, Software security, threat modeling
4	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
4	H. M. W. (Eric) Verbeek, Twan Basten	Deciding Life-Cycle Inheritance on Petri Nets.	ICATPN	2003	DBLP DOI BibTeX RDF	life-cycle inheritance, branching bisimilarity, T-invariants, Petri nets, workflow, Object-orientation, backtracking, structural properties
4	Rossano Gaeta, Marco Gribaudo, Daniele Manini, Matteo Sereno	On the Use of Petri Nets for the Computation of Completion Time Distribution for Short TCP Transfers.	ICATPN	2003	DBLP DOI BibTeX RDF	Communication Network Planning, Deterministic Stochastic Petri Nets, Completion Time Distribution, Performance Evaluation, Transport Control Protocol
4	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
4	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
4	Rüdiger Valk	Object Petri Nets: Using the Nets-within-Nets Paradigm.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
4	Robin Milner	Bigraphs for Petri Nets.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
4	Giovanni Denaro, Mauro Pezzè	Petri Nets and Software Engineering.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
4	Simona Bernardi, Andrea Bobbio, Susanna Donatelli	Petri Nets and Dependability.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
4	Laura Recalde, Manuel Silva, Joaquin Ezpeleta, Enrique Teruel	Petri Nets and Manufacturing Systems: An Examples-Driven Tour.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
4	Josep Carmona, Jordi Cortadella, Victor Khomenko, Alexandre Yakovlev	Synthesis of Asynchronous Hardware from Petri Nets.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
4	Nadia Busi, Roberto Gorrieri	A Survey on Non-interference with Petri Nets.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
4	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
4	Giovanna Di Marzo Serugendo, Dino Mandrioli, Didier Buchs, Nicolas Guelfi	Real-Time Synchronised Petri Nets.	ICATPN	2002	DBLP DOI BibTeX RDF	CO-OPN, inhibitor arcs, real-time, Petri nets
4	Marco Gribaudo, Matteo Sereno, András Horváth, Andrea Bobbio	Fluid Stochastic Petri Nets Augmented with Flush-out Arcs: Modelling and Analysis.	Discrete Event Dynamic Systems	2001	DBLP DOI BibTeX RDF	stochastic reward models, fluid stochastic Petri nets, performance analysis, Petri nets
4	Jörg Desel, Gabriel Juhás, Robert Lorenz	Petri Nets over Partial Algebra.	Unifying Petri Nets	2001	DBLP DOI BibTeX RDF
4	Mark-Oliver Stehr, José Meseguer, Peter Csaba Ölveczky	Rewriting Logic as a Unifying Framework for Petri Nets.	Unifying Petri Nets	2001	DBLP DOI BibTeX RDF
4	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
4	Timo Latvala	Model Checking LTL Properties of High-Level Petri Nets with Fairness Constraints.	ICATPN	2001	DBLP DOI BibTeX RDF	Model checking, fairness, high-level Petri Nets, LTL
4	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
4	Manfred Droste, R. M. Shortt	Continuous Petri Nets and Transition Systems.	Unifying Petri Nets	2001	DBLP DOI BibTeX RDF
4	Tom Holvoet, Pierre Verbaeten	Using Petri Nets for Specifying Active Objects and Generative Communication.	Concurrent Object-Oriented Programming and Petri Nets	2001	DBLP DOI BibTeX RDF
4	Charles Lakos	Object Oriented Modeling with Object Petri Nets.	Concurrent Object-Oriented Programming and Petri Nets	2001	DBLP DOI BibTeX RDF
4	Rüdiger Valk	Concurrency in Communicating Object Petri Nets.	Concurrent Object-Oriented Programming and Petri Nets	2001	DBLP DOI BibTeX RDF
4	Libero Nigro, Francesco Pupo	Schedulability Analysis of Real Time Actor Systems Using Coloured Petri Nets.	Concurrent Object-Oriented Programming and Petri Nets	2001	DBLP DOI BibTeX RDF	Design/CPN, Real Time, Modularity, Actors, Temporal Analysis, Occurrence Graphs
4	Luciano Baresi, Mauro Pezzè	On Formalizing UML with High-Level Petri Nets.	Concurrent Object-Oriented Programming and Petri Nets	2001	DBLP DOI BibTeX RDF
4	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
4	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
4	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
4	Twan Basten, Wil M. P. van der Aalst	Inheritance of Dynamic Behavior: Development of a Groupware Editor.	Concurrent Object-Oriented Programming and Petri Nets	2001	DBLP DOI BibTeX RDF	computer supported cooperative work (CSCW), Petri nets, object orientation, inheritance, dynamic behavior, object life cycle
4	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
4	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
4	Woo Jin Lee, Sung Deok Cha, Yong Rae Kwon	Integration and Analysis of Use Cases Using Modular Petri Nets in Requirements Engineering.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	incremental specification, use case dependency analysis, Petri nets slice, Petri nets, requirements engineering, scenarios, Use cases
4	Lars Michael Kristensen, Søren Christensen, Kurt Jensen	The Practitioner's Guide to Coloured Petri Nets.	STTT	1998	DBLP DOI BibTeX RDF	Practical use, Modelling, Verification, Validation, Visualisation, Tool support, Coloured Petri nets, High-level Petri nets
4	Tuomas Aura, Johan Lilius	Time Processes for Time Petri-Nets.	ICATPN	1997	DBLP DOI BibTeX RDF	net theory, processes, timing analysis, causality, time Petri nets, partial order semantics
4	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
4	Makoto Tanabe	Timed Petri Nets and Temporal Linear Logic.	ICATPN	1997	DBLP DOI BibTeX RDF	temporal linear logic, timed Petri nets, quantales
4	Kamel Barkaoui, Jean-François Pradat-Peyre	On Liveness and Controlled Siphons in Petri Nets.	Application and Theory of Petri Nets	1996	DBLP DOI BibTeX RDF
4	Werner Knaup	A New Iterative Numerical Solution Algorithm for a Class of Stochastic Petri Nets.	Application and Theory of Petri Nets	1996	DBLP DOI BibTeX RDF
4	Jens Linneberg Rasmussen, Mejar Singh	Designing a Security System by Means of Coloured Petri Nets.	Application and Theory of Petri Nets	1996	DBLP DOI BibTeX RDF
4	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
4	Gerlinde Schreiber	Functional Equivalences of Petri Nets.	Application and Theory of Petri Nets	1995	DBLP DOI BibTeX RDF
4	Robert Brgan, Denis Poitrenaud	An Efficient Algorithm for the Computation of Stubborn Sets of Well Formed Petri Nets.	Application and Theory of Petri Nets	1995	DBLP DOI BibTeX RDF