Search results for "Petri-Nets"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
74	Dianxiang Xu	A Tool for Automated Test Code Generation from High-Level Petri Nets.	Petri Nets	2011	DBLP DOI BibTeX RDF
74	G. Michele Pinna	How Much Is Worth to Remember? A Taxonomy Based on Petri Nets Unfoldings.	Petri Nets	2011	DBLP DOI BibTeX RDF
74	Michael Westergaard, Fabrizio Maria Maggi	Modeling and Verification of a Protocol for Operational Support Using Coloured Petri Nets.	Petri Nets	2011	DBLP DOI BibTeX RDF
74	Monika Heiner, David R. Gilbert	How Might Petri Nets Enhance Your Systems Biology Toolkit.	Petri Nets	2011	DBLP DOI BibTeX RDF
74	Jean-Michel Couvreur, Denis Poitrenaud, Pascal Weil	Branching Processes of General Petri Nets.	Petri Nets	2011	DBLP DOI BibTeX RDF
74	Serge Haddad, Jean Mairesse, Hoang-Thach Nguyen	Synthesis and Analysis of Product-Form Petri Nets.	Petri Nets	2011	DBLP DOI BibTeX RDF
74	Pierre-Alain Reynier, Frédéric Servais	Minimal Coverability Set for Petri Nets: Karp and Miller Algorithm with Pruning.	Petri Nets	2011	DBLP DOI BibTeX RDF
74	Oleg Yu. Gusikhin, Erica Klampfl	Integrated Process Planning and Supply Chain Configuration for Commodity Assemblies Using Petri Nets.	Petri Nets	2010	DBLP DOI BibTeX RDF
74	Yunhe Wang 0003, Li Jiao	Canonical Transition Set Semantics for Petri Nets.	Petri Nets	2010	DBLP DOI BibTeX RDF
74	Eike Best, Philippe Darondeau	Separability in Persistent Petri Nets.	Petri Nets	2010	DBLP DOI BibTeX RDF
74	Lars Michael Kristensen	A Perspective on Explicit State Space Exploration of Coloured Petri Nets: Past, Present, and Future.	Petri Nets	2010	DBLP DOI BibTeX RDF
74	Thomas Chatain, Eric Fabre	Factorization Properties of Symbolic Unfoldings of Colored Petri Nets.	Petri Nets	2010	DBLP DOI BibTeX RDF
74	Fernando Rosa-Velardo, David de Frutos-Escrig	Forward Analysis for Petri Nets with Name Creation.	Petri Nets	2010	DBLP DOI BibTeX RDF
74	Jetty Kleijn, Maciej Koutny	Petri Nets with Localities and Testing.	Petri Nets	2010	DBLP DOI BibTeX RDF
74	Javier Esparza, Martin Leucker, Maximilian Schlund	Learning Workflow Petri Nets.	Petri Nets	2010	DBLP DOI BibTeX RDF
74	Carlos A. Rovetto, Elia E. Cano, José Manuel Colom	Deadlock Control Software for Tow Automated Guided Vehicles using Petri Nets.	ACSD/Petri Nets Workshops	2010	DBLP BibTeX RDF
74	Steve Hostettler, Alban Linard, Alexis Marechal, Matteo Risoldi	Improving the Significance of Benchmarks for Petri Nets Model Checkers.	ACSD/Petri Nets Workshops	2010	DBLP BibTeX RDF
74	Fei Liu 0006, Monika Heiner	Colored Petri nets to Model and Simulate Biological Systems.	ACSD/Petri Nets Workshops	2010	DBLP BibTeX RDF
74	Kees M. van Hee, Zheng Liu	Generating Benchmarks by Random Stepwise Refinement of Petri Nets.	ACSD/Petri Nets Workshops	2010	DBLP BibTeX RDF
74	Laura M. F. Bertens, Jetty Kleijn, Maciej Koutny, Fons J. Verbeek	Modelling Gradients using Petri Nets.	ACSD/Petri Nets Workshops	2010	DBLP BibTeX RDF
74	João M. Fernandes	Combining Petri Nets and UML for Model-based Software Engineering.	ACSD/Petri Nets Workshops	2010	DBLP BibTeX RDF
74	Kamila Barylska, Lukasz Mikulski, Edward Ochmanski	On Persistent Reachability in Petri Nets.	ACSD/Petri Nets Workshops	2010	DBLP BibTeX RDF
74	Maciej Koutny, Marta Pietkiewicz-Koutny	Synthesis of General Petri Nets with Localities.	ACSD/Petri Nets Workshops	2010	DBLP BibTeX RDF
74	Roberto Ross-León, Antonio Ramírez-Treviño, José Alejandro Morales, Javier Ruiz-León	Control of Metabolic Systems Modeled with Timed Continuous Petri Nets.	ACSD/Petri Nets Workshops	2010	DBLP BibTeX RDF
74	Hermenegilda Macià, María-Isabel González-Sánchez, Valentín Valero Ruiz, Edelmira Valero	Applying Petri Nets for the Analysis of the GSH-ASC Cycle in Chloroplasts.	ACSD/Petri Nets Workshops	2010	DBLP BibTeX RDF
74	Eike Best, Philippe Darondeau	Decomposition Theorems for Bounded Persistent Petri Nets.	Petri Nets	2008	DBLP DOI BibTeX RDF
74	Charles Lakos, John W. Lamp	The Incremental Modelling of the Z39.50 Protocol with Object Petri Nets.	Application of Petri Nets to Communication Networks	1999	DBLP DOI BibTeX RDF
74	Carla Capellmann, Heinz Dibold, Uwe Herzog	Using High-Level Petri Nets in the Field of Intelligent Networks.	Application of Petri Nets to Communication Networks	1999	DBLP DOI BibTeX RDF
74	Geoffrey R. Wheeler	The Modelling and Analysis of IEEE 802.6's Configuration Control Protocol with Coloured Petri Nets.	Application of Petri Nets to Communication Networks	1999	DBLP DOI BibTeX RDF
74	Adel Ben Mnaouer, Takashi Sekiguchi, Yasumasa Fujii, Toru Ito, Haruki Tanaka	Colored Petri Nets Based Modelling and Simulation of the Static and Dynamic Allocation Policies of the Asynchronous Bandwidth in the Fieldbus Protocol.	Application of Petri Nets to Communication Networks	1999	DBLP DOI BibTeX RDF
74	Helmut Plünnecke, Wolfgang Reisig	Bibliography on Petri nets 1990.	Applications and Theory of Petri Nets	1990	DBLP DOI BibTeX RDF
74	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
74	Dirk Taubner	On the Implementation of Petri Nets.	European Workshop on Applications and Theory of Petri Nets	1987	DBLP DOI BibTeX RDF
74	Kurt Jensen	Computer Tools for Construction, Modification and Analysis of Petri Nets.	Advances in Petri Nets	1986	DBLP DOI BibTeX RDF
74	Michel Diaz	Petri Nets Based Models in the Specification and Verification of Protocols.	Advances in Petri Nets	1986	DBLP DOI BibTeX RDF
74	Wolfgang Reisig	Petri Nets in Software Engineering.	Advances in Petri Nets	1986	DBLP DOI BibTeX RDF
74	Jean-Loup Baer	Modelling Architectural Features with Petri Nets.	Advances in Petri Nets	1986	DBLP DOI BibTeX RDF
74	Kurt Jensen	Coloured Petri Nets.	Advances in Petri Nets	1986	DBLP DOI BibTeX RDF
74	Matthias Jantzen	Language Theory of Petri Nets.	Advances in Petri Nets	1986	DBLP DOI BibTeX RDF
74	Eike Best	Structure Theory of Petri Nets: the Free Choice Hiatus.	Advances in Petri Nets	1986	DBLP DOI BibTeX RDF
74	Fritz Krückeberg, Michael Jaxy	Mathematical methods for calculating invariants in Petri nets.	European Workshop on Applications and Theory of Petri Nets	1986	DBLP DOI BibTeX RDF
74	Elisabeth Pelz	Infinitary languages of Petri nets and logical sentences.	European Workshop on Applications and Theory of Petri Nets	1986	DBLP DOI BibTeX RDF
74	Stefan Drees, Dominik Gomm, Helmut Plünnecke, Wolfgang Reisig, Rolf Walter	Bibliography of Petri nets.	European Workshop on Applications and Theory of Petri Nets	1986	DBLP DOI BibTeX RDF
74	Hassane Alla, P. Ladet, J. Martinez, M. Silva-Suarez	Modelling and validation of complex systems by coloured Petri nets; Application to a flexible manufacturing system.	European Workshop on Applications and Theory in Petri Nets	1984	DBLP DOI BibTeX RDF
74	J. Carlier, Philippe Chrétienne, Claude Girault	Modelling scheduling problems with timed Petri nets.	European Workshop on Applications and Theory in Petri Nets	1984	DBLP DOI BibTeX RDF
74	Peter Huber, Arne M. Jensen, Leif O. Jepsen, Kurt Jensen	Towards reachability trees for high-level Petri nets.	European Workshop on Applications and Theory in Petri Nets	1984	DBLP DOI BibTeX RDF
74	Marc Courvoisier	A Matrix-Based Implementation of Generalized Petri Nets.	European Workshop on Applications and Theory of Petri Nets	1982	DBLP DOI BibTeX RDF
74	Robert Valette, Marc Courvoisier, D. Mayeux	Control of Flexible Production Systems and Petri Nets.	European Workshop on Applications and Theory of Petri Nets	1982	DBLP DOI BibTeX RDF
74	Niels Damgaard Hansen, K. H. Madsen	Formal Semantics by a Combination of Denotational Semantics and High-Level Petri Nets.	European Workshop on Applications and Theory of Petri Nets	1982	DBLP DOI BibTeX RDF
74	Wolfgang Reisig	Petri Nets with Individual Tokens.	European Workshop on Applications and Theory of Petri Nets	1982	DBLP DOI BibTeX RDF
74	Matthias Jantzen, Hendrik Bramhoff	Notions of Computability by Petri Nets.	European Workshop on Applications and Theory of Petri Nets	1982	DBLP DOI BibTeX RDF
74	Grzegorz Rozenberg, R. Verraedt	Subset Languages of Petri Nets.	European Workshop on Applications and Theory of Petri Nets	1982	DBLP DOI BibTeX RDF
74	Pascal Estraillier, Claude Girault	Petri Nets Specification of Virtual Ring Protocols.	European Workshop on Applications and Theory of Petri Nets	1982	DBLP DOI BibTeX RDF
74	Fiorella de Cindio, Giorgio De Michelis, Lucia Pomello, Carla Simone	Milner's Communicating Systems and Petri Nets.	European Workshop on Applications and Theory of Petri Nets	1982	DBLP DOI BibTeX RDF
74	Kurt Jensen	High-Level Petri Nets.	European Workshop on Applications and Theory of Petri Nets	1982	DBLP DOI BibTeX RDF
74	Kurt Jensen, Morten Kyng	Petri Nets and Semantics of System Descriptions.	Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets	1981	DBLP DOI BibTeX RDF
74	Ernst Grill	Design-Review by Petri-Nets.	Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets	1981	DBLP DOI BibTeX RDF
74	Robert Valette	Petri Nets and Reliable Real Time Systems.	Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets	1981	DBLP DOI BibTeX RDF
74	Gerard Florin, Stéphane Natkin	Evaluation Based upon Stochastic Petri Nets of the Maximum Throughput of a Full Duplex Protocol.	Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets	1981	DBLP DOI BibTeX RDF
74	Rüdiger Valk	Test on Zero in Petri Nets.	Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets	1981	DBLP DOI BibTeX RDF
74	Jean-Michel Ayache, Pierre Azéma, Michel Diaz	Towards Fault Tolerant Real Time Systems by Using Petri Nets.	Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets	1981	DBLP DOI BibTeX RDF
74	Guy Vidal-Naquet	Deterministic Languages of Petri Nets.	Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets	1981	DBLP DOI BibTeX RDF
74	Jean-Pierre Queille, Joseph Sifakis	Iterative Methods for the Analysis of Petri Nets.	Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets	1981	DBLP DOI BibTeX RDF
74	Otthein Herzog	Graph-Theoretical Analysis of a Subclass of Petri Nets.	Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets	1981	DBLP DOI BibTeX RDF
74	P. Rolin	Using Petri Nets in Measurements of a Distributed Data Base System.	Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets	1981	DBLP DOI BibTeX RDF
74	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
74	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
74	Masato Notomi, Tadao Murata	Hierarchical Reachability Graph of Bounded Petri Nets for Concurrent-Software Analysis.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	hierarchical reachability graph, bounded Petri nets, concurrent-software analysis, communication protocol software, hierarchically organized state space, deadlock state, successor states, software engineering, Petri nets, efficiency, tractability, markings, state explosion, multiprocessing programs, hierarchical systems, state-space methods, Ada programs
74	Zhuomin Du, Yanxiang He	Plan Specification of Multi-agent based on Coloured Petri Nets.	AINA (2)	2006	DBLP DOI BibTeX RDF
74	Marina Bagic	Formal Infrastructure for Modelling Intelligent Agents with Agent UML and Petri Nets.	OTM Workshops	2004	DBLP DOI BibTeX RDF
74	Xiao-Qiang Wu	An Intelligent Petri Nets Model Based on Competitive Neural Network.	CSCWD (Selected papers)	2004	DBLP DOI BibTeX RDF
73	David A. Hartley, David M. Harvey	Analysis of the TMS320C40 Communication Channels Using Timed Petri Nets.	Application and Theory of Petri Nets	1993	DBLP DOI BibTeX RDF
73	Kunihiko Hiraishi	Construction of a Class of Safe Petri Nets by Presenting Firing Sequences.	Application and Theory of Petri Nets	1992	DBLP DOI BibTeX RDF
73	Michael Westergaard, Lars Michael Kristensen	The Access/CPN Framework: A Tool for Interacting with the CPN Tools Simulator.	Petri Nets	2009	DBLP DOI BibTeX RDF
73	Eugenio Battiston, A. Chizzoni, Fiorella de Cindio	CLOWN as a Testbed for Concurrent Object-Oriented Concepts.	Concurrent Object-Oriented Programming and Petri Nets	2001	DBLP DOI BibTeX RDF
73	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
73	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
73	Cyril Autant, Philippe Schnoebelen	Place Bisimulations in Petri Nets.	Application and Theory of Petri Nets	1992	DBLP DOI BibTeX RDF	partial order theory of concurrency, structure and behavior of nets, bisimulation theory of nets
73	Giorgio Bruno, Andrea Castella, Gianpaolo Macario, Mario P. Pescarmona	Scheduling Hard Real Time Systems Using High-Level Petri Nets.	Application and Theory of Petri Nets	1992	DBLP DOI BibTeX RDF
73	Einar Smith	On net systems generated by process foldings.	Applications and Theory of Petri Nets	1990	DBLP DOI BibTeX RDF	Quotient Nets, Elementary Petri Systems, Contacts, Concurrent Processes
73	Marco Baldassari, Giorgio Bruno	An Environment for Object- oriented Conceptual Programming Based on PROT Nets.	European Workshop on Applications and Theory of Petri Nets	1987	DBLP DOI BibTeX RDF
73	Agathe Merceron	Fan processes.	European Workshop on Applications and Theory of Petri Nets	1986	DBLP DOI BibTeX RDF
73	Klaus Voss	A net model of a local area network protocol.	European Workshop on Applications and Theory in Petri Nets	1984	DBLP DOI BibTeX RDF
72	Bernd J. Krämer, Luqi, Valdis Berzins	Compositional Semantics of a Real-Time Prototyping Language.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	real-time prototyping language, PSDL, data flow notation, application-orientation timing, control constraints, algebraic high-level Petri nets, concurrency concepts, real-time systems, formal specification, Petri nets, synchronization, specification languages, abstract data types, abstract data types, formal semantics, algebraic specifications, software prototyping, hard real-time systems, compositional semantics, timing behavior
72	H.-C. Yen	Integer Linear Programming and the Analysis of Some Petri Net Problems.	Theory Comput. Syst.	1999	DBLP DOI BibTeX RDF
72	Hsu-Chun Yen, Chien-Liang Chen	Computing Minimal Elements of Upward-Closed Sets for Petri Nets.	ICATPN	2007	DBLP DOI BibTeX RDF
72	Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Wil M. P. van der Aalst	History-Dependent Petri Nets.	ICATPN	2007	DBLP DOI BibTeX RDF
72	Maciej Koutny	Partial Order Semantics of Box Expressions.	Application and Theory of Petri Nets	1994	DBLP DOI BibTeX RDF	partial order theory of concurrency, net-based algebraic calculi, Causality, structured operational semantics
72	Apostolos Niaouris	An Algebra of Petri Nets with Arc-Based Time Restrictions.	ICTAC	2004	DBLP DOI BibTeX RDF	Net-based algebraic calculi, arc based time Petri nets, box algebra, SOS semantics, process algebras
72	Thomas Chatain, Claude Jard	Complete Finite Prefixes of Symbolic Unfoldings of Safe Time Petri Nets.	ICATPN	2006	DBLP DOI BibTeX RDF
72	Niels Lohmann, Eric Verbeek 0001, Remco M. Dijkman	Petri Net Transformations for Business Processes - A Survey.	Trans. Petri Nets Other Model. Concurr.	2009	DBLP DOI BibTeX RDF
71	Andreas Glausch, Wolfgang Reisig	How Expressive Are Petri Net Schemata?.	ICATPN	2006	DBLP DOI BibTeX RDF
71	Kurt Jensen, Lars Michael Kristensen, Lisa Wells	Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems.	Int. J. Softw. Tools Technol. Transf.	2007	DBLP DOI BibTeX RDF	Simulation, Model checking, Verification, Performance analysis, Validation, Visualisation, Coloured Petri Nets, Discrete-event systems, State space methods, Behavioural modelling
71	Bernard Berthomieu, Florent Peres, François Vernadat 0001	Bridging the Gap Between Timed Automata and Bounded Time Petri Nets.	FORMATS	2006	DBLP DOI BibTeX RDF	weak timed bisimilarity, real-time systems modeling and verification, Timed Automata, priorities, Time Petri nets
71	Walter Keller	Reverse Engineering with Petri Nets.	CSMR	2000	DBLP DOI BibTeX RDF	colored nets, engineering metaphor, Petri nets, reverse engineering, folding, design recovery
71	Ekkart Kindler, Tobias Vesper	ESTL: A Temporal Logic for Events and States.	ICATPN	1998	DBLP DOI BibTeX RDF	verification, Petri nets, specification, Temporal logic, events, system development, states
71	Erwin M. Thurner, C. Wincheringer	TOMSPIN - A Tool for Modeling with Stochastic Petri Nets.	EUROCAST	1995	DBLP DOI BibTeX RDF	realiabilty, TOMSPIN, Modelling, performance, Generalized Stochastic Petri Nets
71	Antoni W. Mazurkiewicz	Petri Nets Without Tokens.	ICATPN	2007	DBLP DOI BibTeX RDF
71	Mikko Tiusanen	Symbolic, Symmetry, and Stubborn Set Searches.	Application and Theory of Petri Nets	1994	DBLP DOI BibTeX RDF
71	Clarence A. Ellis, Gary J. Nutt	Modeling and Enactment of Workflow Systems.	Application and Theory of Petri Nets	1993	DBLP DOI BibTeX RDF