Search results for "Petri-Nets"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
71	Dominik Gomm, Ekkart Kindler, Barbara Paech, Rolf Walter	Compositional Liveness Properties of EN-Systems.	Application and Theory of Petri Nets	1993	DBLP DOI BibTeX RDF
71	Paolo Baldan, Filippo Bonchi, Fabio Gadducci	Encoding Asynchronous Interactions Using Open Petri Nets.	CONCUR	2009	DBLP DOI BibTeX RDF	Asynchronous calculi, open Petri nets, decidability, bisimilarity
71	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
71	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
71	Stefan Schöf, Michael Sonnenschein, Ralf Wieting	Efficient Simulation of THOR Nets.	Application and Theory of Petri Nets	1995	DBLP DOI BibTeX RDF
71	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
71	H. C. M. Kleijn, Maciej Koutny	Causality Semantics of Petri Nets with Weighted Inhibitor Arcs.	CONCUR	2002	DBLP DOI BibTeX RDF	theory of concurrency, weighted inhibitor arcs, causality semantics, occurrence nets, Petri nets, step sequences
70	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
70	João Paulo Barros, Luís Gomes 0001	On the Use of Coloured Petri Nets for Object-Oriented Design.	ICATPN	2004	DBLP DOI BibTeX RDF
70	Piotr Chrzastowski-Wachtel	Testing Undecidability of the Reachability in Petri Nets with the Help of 10th Hilbert Problem.	ICATPN	1999	DBLP DOI BibTeX RDF
69	Roger W. H. Bons, Ronald M. Lee, René W. Wagenaar, Clive D. Wrigley	Modelling inter-organizational trade using Documentary Petri Nets.	HICSS (3)	1995	DBLP DOI BibTeX RDF	inter-organizational trade modelling, Documentary Petri Nets, bilateral agreements, business partners, set-up costs, electronic linkages, interorganizational interaction, modelling environment, trade procedures, common graph-based representation language, Case/Open-edi, simplified documentary credit procedure, Petri nets, knowledge representation, electronic commerce, digital simulation, high level languages, electronic data interchange, financial data processing, electronic trading
69	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
69	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
69	Arkady B. Zaslavsky, L. H. Yeo, Simon J. Lai, Boris Mitelman	Petri nets analysis of transaction and submitter management protocols in mobile distributed computing environment.	ICCCN	1995	DBLP DOI BibTeX RDF	Petri nets analysis, transaction management protocols, submitter management protocols, mobile distributed computing environment, transaction queuing protocol, message queuing protocol, mobile workstations, distributed multidatabase environment, Design/CPN software tool, hierarchical coloured Petri nets, transaction processing algorithms, message processing algorithms, simulation results, simulation model, workstations, protocol verification, protocol implementation
69	Jonathan Billington, Cong Yuan	On Modelling and Analysing the Dynamic MANET On-Demand (DYMO) Routing Protocol.	Trans. Petri Nets Other Model. Concurr.	2009	DBLP DOI BibTeX RDF	DYMO, MANETs, Coloured Petri Nets, Reachability Analysis, On-Demand Routing
69	Serge Haddad, Jean-Michel Ilié, Mohamed Taghelit, Belhassen Zouari	Symbolic Reachability Graph and Partial Symmetries.	Application and Theory of Petri Nets	1995	DBLP DOI BibTeX RDF	Well-Formed Petri nets, Partial Symmetries, Symbolic Reachability graphs
69	Matthias Werner 0001, Gero Mühl	A State Equation for Petri Nets with Delaying Places.	ECBS	2006	DBLP DOI BibTeX RDF
69	Franck Pommereau	Petri Nets as Executable Specifications of High-Level Timed Parallel Systems.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF
69	Giorgio De Michelis	Net Theory and Workflow Models (abstract).	ICATPN	1999	DBLP DOI BibTeX RDF
68	H. M. W. 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
68	Charles Lakos	Composing Abstractions of Coloured Petri Nets.	ICATPN	2000	DBLP DOI BibTeX RDF	Theory of High-Level Petri Nets, Refinement, Abstraction
68	Grzegorz Rozenberg	Reaction Systems: A Formal Framework for Processes.	Petri Nets	2009	DBLP DOI BibTeX RDF
68	Jean Fanchon, Rémi Morin	Pomset Languages of Finite Step Transition Systems.	Petri Nets	2009	DBLP DOI BibTeX RDF
68	Michael Westergaard, Sami Evangelista, Lars Michael Kristensen	ASAP: An Extensible Platform for State Space Analysis.	Petri Nets	2009	DBLP DOI BibTeX RDF
68	Lars Michael Kristensen, Kurt Jensen	Teaching Modelling and Validation of Concurrent Systems Using Coloured Petri Nets.	Trans. Petri Nets Other Model. Concurr.	2008	DBLP DOI BibTeX RDF
68	Jordi Cortadella, Michael Kishinevsky, Dmitry Bufistov, Josep Carmona 0001, Jorge Júlvez	Elasticity and Petri Nets.	Trans. Petri Nets Other Model. Concurr.	2008	DBLP DOI BibTeX RDF
68	Kais Klai, Denis Poitrenaud	MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs.	Petri Nets	2008	DBLP DOI BibTeX RDF
68	Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci	Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study.	Petri Nets	2008	DBLP DOI BibTeX RDF
68	Rémi Bastide, Charles Lakos, Philippe A. Palanque	A Cooperative Petri Net Editor.	Concurrent Object-Oriented Programming and Petri Nets	2001	DBLP DOI BibTeX RDF
68	Rémi Bastide, Philippe A. Palanque	Modeling a Groupware Editing Tool with Cooperative Objects.	Concurrent Object-Oriented Programming and Petri Nets	2001	DBLP DOI BibTeX RDF
68	Frank Köster, Stefan Schöf, Michael Sonnenschein, Ralf Wieting	Modeling of a Library with THORNs.	Concurrent Object-Oriented Programming and Petri Nets	2001	DBLP DOI BibTeX RDF
68	Éric Badouel, Marek A. Bednarczyk, Philippe Darondeau	Generalized Automata and Their Net Representations.	Unifying Petri Nets	2001	DBLP DOI BibTeX RDF
68	Marek A. Bednarczyk, Andrzej M. Borzyszkowski	On Concurrent Realization of Reactive Systems and Their Morphisms.	Unifying Petri Nets	2001	DBLP DOI BibTeX RDF
68	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
68	Søren Christensen, Laure Petrucci	Modular State Space Analysis of Coloured Petri Nets.	Application and Theory of Petri Nets	1995	DBLP DOI BibTeX RDF
68	Peter Buchholz 0001	Hierarchical High Level Petri Nets for Complex System Analysis.	Application and Theory of Petri Nets	1994	DBLP DOI BibTeX RDF
68	Kurt Lautenbach, Hanno Ridder	Liveness in Bounded Petri Nets Which Are Covered by T-Invariants.	Application and Theory of Petri Nets	1994	DBLP DOI BibTeX RDF	linear invariants, deadlocks, liveness
68	José A. Bañares, Pedro R. Muro-Medrano, J. L. Villarroel	Taking Advantages of Temporal Redundancy in High Level Petri Nets Implementations.	Application and Theory of Petri Nets	1993	DBLP DOI BibTeX RDF	Petri net implementation, Rule based systems, Matching algorithms, Higher-level net models
68	C. R. M. Sundaram, Y. Narahari	Analysis of Dynamic Load Balancing Strategies Using a Combination of Stochastic Petri Nets and Queueing Networks.	Application and Theory of Petri Nets	1993	DBLP DOI BibTeX RDF
68	Toshimasa Watanabe, Masahiro Yamauchi	New Priority-Lists for Scheduling in Timed Petri Nets.	Application and Theory of Petri Nets	1993	DBLP DOI BibTeX RDF
68	Hoon Choi, Vidyadhar G. Kulkarni, Kishor S. Trivedi	Transient Analysis of Deterministic and Stochastic Petri Nets.	Application and Theory of Petri Nets	1993	DBLP DOI BibTeX RDF
68	Linda Wilkens, James Canning, Patrick D. Krolak	Modeling Fine Grain Computation via the Fusion of Two Extended Petri Nets.	Application and Theory of Petri Nets	1992	DBLP DOI BibTeX RDF
68	Kamel Barkaoui, Michel Minoux	A Polynomial-Time Graph Algorithm to Decide Liveness of Some Basic Classes of Bounded Petri Nets.	Application and Theory of Petri Nets	1992	DBLP DOI BibTeX RDF
68	Frank Itter, Claudia Relewicz	Computer supported design of Kanban controlled production.	Applications and Theory of Petri Nets	1990	DBLP DOI BibTeX RDF	NET-tool, simulation, animation, building blocks, Kanban
68	Bernd Baumgarten	On Internal and External Characterizations of PT- net Building Block Behaviors.	European Workshop on Applications and Theory of Petri Nets	1987	DBLP DOI BibTeX RDF
68	Yuan Chong-Yi	Process periods and system reconstruction.	Applications and Theory in Petri Nets	1985	DBLP DOI BibTeX RDF
68	Eike Best, Agathe Merceron	Frozen tokens and D-continuity: A study in relating system properties to process properties.	European Workshop on Applications and Theory in Petri Nets	1984	DBLP DOI BibTeX RDF
68	Samy Abbes	The (True) Concurrent Markov Property and Some Applications to Markov Nets.	ICATPN	2005	DBLP DOI BibTeX RDF
67	Sibylle Peuker	Concurrency Based Transition Refinement for the Verification of Distributed Algorithms.	Petri Net Technology for Communication-Based Systems	2003	DBLP DOI BibTeX RDF
67	Franck Pommereau	Quickly prototyping petri nets tools with SNAKES.	SimuTools	2008	DBLP DOI BibTeX RDF	quick prototyping, petri nets
67	Jochen Stier, Jens H. Jahnke, Hausi A. Müller	Geist3D, a Simulation Tool for Geometry-Driven Petri Nets.	ICATPN	2006	DBLP DOI BibTeX RDF
67	Jianli Xu	Using Colored Petri Nets and Tools to Support Mobile Terminal and Network Software Development.	ICATPN	2006	DBLP DOI BibTeX RDF
67	Krzysztof Bilinski, Erik L. Dagless	High Level Synthesis of Synchronous Parallel Controllers.	Application and Theory of Petri Nets	1996	DBLP DOI BibTeX RDF
67	Lorenzo Capra	(Toward) discrete-event simulation of reflective Petri nets.	SpringSim	2009	DBLP DOI BibTeX RDF	Petri nets, evolution, dynamic systems, symbolic techniques, state-transition graph
67	Viktor Horvath, Till Dörges	From security patterns to implementation using petri nets.	SESS	2008	DBLP DOI BibTeX RDF	modelling, multi-agent systems, agent-oriented software engineering, high-level petri nets, security patterns, model driven software engineering, model driven security
67	Elisabeth Remy, Paul Ruet, Luis Eduardo Mendoza, Denis Thieffry, Claudine Chaouiya	From Logical Regulatory Graphs to Standard Petri Nets: Dynamical Roles and Functionality of Feedback Circuits.	Trans. Comp. Sys. Biology	2006	DBLP DOI BibTeX RDF	genetic regulatory graphs, feedback circuit, discrete dynamics, Petri nets, qualitative analysis
67	Jan Komenda, Abdellah El Moudni, Noureddine Zerhouni	Input-Output Relation and Time-Optimal Control of a Class of Hybrid Petri Nets Using min, +) Semiring.	Discret. Event Dyn. Syst.	2001	DBLP DOI BibTeX RDF	hybrid petri nets, timed event graphs, dioid algebra, control, transfer function
67	Olaf Kummer, Daniel Moldt, Frank Wienberg	Symmetric Communication between Coloured Petri Net Simulations and Java-Processes.	ICATPN	1999	DBLP DOI BibTeX RDF	Design/CPN, Java, Workflow, Framework, Prototyping, Distributed Simulation, Coloured Petri Nets, Computer Tools
67	Carla Capellmann, Heinz Dibold	Petri Net Based Specifications of Services in an Intelligent Network - Experiences gained from a Test Case Application.	Application and Theory of Petri Nets	1993	DBLP DOI BibTeX RDF
67	Johan Lilius	High-Level Nets and Linear Logic.	Application and Theory of Petri Nets	1992	DBLP DOI BibTeX RDF	Classification Analysis and synthesis, structure and behavior of nets, higherlevel net models
66	Fabio Balduzzi, Angela Di Febbraro, Alessandro Giua, Carla Seatzu	Decidability results in First-Order Hybrid Petri Nets.	Discret. Event Dyn. Syst.	2001	DBLP DOI BibTeX RDF	hybrid Petri nets, decidability properties, timed automata, hybrid automata
66	Giovanni Chiola, Marco Ajmone Marsan, Gianfranco Balbo, Gianni Conte	Generalized Stochastic Petri Nets: A Definition at the Net Level and Its Implications.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	qualitative behavior, firing probabilities, net-level specification, model specification, performance evaluation, formal specification, Petri nets, stochastic processes, structural analysis, structural properties, generalized stochastic Petri net
66	Carolyn Brown, Doug Gurr	Refinement and Simulation of Nets - A Categorical Characterisation.	Application and Theory of Petri Nets	1992	DBLP DOI BibTeX RDF
66	Marco Montali, Andrey Rivkin	DB-Nets: On the Marriage of Colored Petri Nets and Relational Databases.	Trans. Petri Nets Other Model. Concurr.	2017	DBLP DOI BibTeX RDF
66	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
66	Kurt Jensen	Coloured Petri Nets: Status and Outlook.	ICATPN	2003	DBLP DOI BibTeX RDF
66	Marian V. Iordache, Panos J. Antsaklis	Generalized Conditions for Liveness Enforcement and Deadlock Prevention in Petri Nets.	ICATPN	2001	DBLP DOI BibTeX RDF
66	L. J. Steggles	Rewriting Logic and Elan: Prototyping Tools for Petri Nets with Time.	ICATPN	2001	DBLP DOI BibTeX RDF
65	Jirí Srba	Timed-Arc Petri Nets vs. Networks of Timed Automata.	ICATPN	2005	DBLP DOI BibTeX RDF
65	Lars Michael Kristensen, Antti Valmari	Finding Stubborn Sets of Coloured Petri Nets Without Unfolding.	ICATPN	1998	DBLP DOI BibTeX RDF
64	Marco Gribaudo, Matteo Sereno, András Horváth, Andrea Bobbio	Fluid Stochastic Petri Nets Augmented with Flush-out Arcs: Modelling and Analysis.	Discret. Event Dyn. Syst.	2001	DBLP DOI BibTeX RDF	stochastic reward models, fluid stochastic Petri nets, performance analysis, Petri nets
64	Berndt Farwer, Saraswati Kalvala, Kundan Misra	Controller Synthesis for Object Petri Nets.	ICFEM	2003	DBLP DOI BibTeX RDF
64	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
64	Mercedes Granda, José M. Drake, José A. Gregorio	Performance Evaluation of Parallel Systems by Using Unbounded Generalized Stochastic Petri Nets.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	unbounded generalized stochastic Petri nets, unbounded places, natural symmetries, finite graph, lumped states, unbounded places, open parallel systems, k-bounded, performance evaluation, parallel programming, Petri nets, performance measures, parallel machines, stochastic processes, parallel systems, state space, steady-state solution
64	Javier Campos, Giovanni Chiola, Manuel Silva Suárez	Ergodicity and Throughput Bounds of Petri Nets with Unique Consistent Firing Count Vector.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	persistent nets, throughput bounds, unique consistent firing count vector, mono-T-semiflow net subclasses, incidence matrix, synchronized queuing networks, Petri nets, Petri nets, linear programming, linear programming, ergodicity, marked graphs
64	William Henderson, Peter G. Taylor	Embedded Processes in Stochastic Petri Nets.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	embedded discrete time processes, closed-form equilibrium distribution, probabilistic output bags, colored tokens, arbitrarily distributing enabling, firing times, aggregation procedure, performance evaluation, Petri nets, stochastic processes, stochastic Petri nets
64	Zhijun Ding, Changjun Jiang, MengChu Zhou, Yaying Zhang	Preserving Languages and Properties in Stepwise Refinement-Based Synthesis of Petri Nets.	IEEE Trans. Syst. Man Cybern. Part A	2008	DBLP DOI BibTeX RDF
64	Bhushan Bauskar, Boleslaw Mikolajczak	Abstract Node Method for Integration of Object Oriented Design with Colored Petri Nets.	ITNG	2006	DBLP DOI BibTeX RDF
64	Hsu-Chun Yen, Lien-Po Yu	Petri Nets with Simple Circuits.	COCOON	2003	DBLP DOI BibTeX RDF
64	Serge Haddad, Denis Poitrenaud	Checking Linear Temporal Formulas on Sequential Recursive Petri Nets.	TIME	2001	DBLP DOI BibTeX RDF
64	Robert Valette	Some Issues About Petri Net Application to Manufacturing and Process Supervisory Control.	ICATPN	1997	DBLP DOI BibTeX RDF
64	Irina A. Lomazova	Nested Petri Nets for Adaptive Process Modeling.	Pillars of Computer Science	2008	DBLP DOI BibTeX RDF
64	Bernd Grahlmann	Combining Finite Automata, Parallel Programs and SDL Using Petri Nets.	TACAS	1998	DBLP DOI BibTeX RDF
64	Paola Alimonti, Esteban Feuerstein	Petri Nets, Hypergraphs and Conflicts (Preliminary Version).	WG	1992	DBLP DOI BibTeX RDF
64	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
63	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
63	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
63	Zhengwei Qi, Jinyuan You, Hongyan Mao	P Systems and Petri Nets.	Workshop on Membrane Computing	2003	DBLP DOI BibTeX RDF
63	Michael Weber 0003, Ekkart Kindler	The Petri Net Markup Language.	Petri Net Technology for Communication-Based Systems	2003	DBLP DOI BibTeX RDF
63	Rob J. van Glabbeek	The Individual and Collective Token Interpretations of Petri Nets.	CONCUR	2005	DBLP DOI BibTeX RDF
62	Elisabeth Pelz, Hans Fleischhack	Compositional High Level Petri Nets with Timing Constraints - A Comparison.	ACSD	2003	DBLP DOI BibTeX RDF
62	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
62	Katrin Winkelmann, Holger Luczak	Prospective Analysis of Cooperative Provision of Industrial Services Using Coloured Petri Nets.	ICATPN	2006	DBLP DOI BibTeX RDF
62	David R. Gilbert, Monika Heiner	From Petri Nets to Differential Equations - An Integrative Approach for Biochemical Network Analysis.	ICATPN	2006	DBLP DOI BibTeX RDF
62	Serge Haddad, Lynda Mokdad, Patrice Moreaux	A New Approach to the Evaluation of Non Markovian Stochastic Petri Nets.	ICATPN	2006	DBLP DOI BibTeX RDF
62	Ekkart Kindler, Vladimir A. Rubin, Robert Wagner 0002	Component Tools: Integrating Petri Nets with Other Formal Methods.	ICATPN	2006	DBLP DOI BibTeX RDF
62	Binsan Khadka, Boleslaw Mikolajczak	Transformation from live sequence charts to colored Petri nets.	SCSC	2007	DBLP BibTeX RDF	loosely coupled distributed systems, colored petri nets, message sequence charts, live sequence charts
62	Sami Evangelista, Jean-François Pradat-Peyre	On the Computation of Stubborn Sets of Colored Petri Nets.	ICATPN	2006	DBLP DOI BibTeX RDF
62	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
62	Didier Lime, Olivier H. Roux, Charlotte Seidner, Louis-Marie Traonouez	Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches.	TACAS	2009	DBLP DOI BibTeX RDF	model-checking, tool, Time Petri nets, parameters, TCTL, stopwatches