Search results for "Petri-Nets"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
90	Jan Martijn E. M. van der Werf, Erwin Kaats	Discovery of Functional Architectures From Event Logs.	PNSE @ Petri Nets	2015	DBLP BibTeX RDF
90	Nicolas Guelfi	Software Engineering and Modeling Education: Problems and Solutions.	PNSE @ Petri Nets	2015	DBLP BibTeX RDF
90	Ahana Pradhan, Rushikesh K. Joshi	Catalog-based Token Transportation in Acyclic Block-Structured WF-nets.	PNSE @ Petri Nets	2015	DBLP BibTeX RDF
90	Étienne André, Laure Petrucci	Unifying Patterns for Modelling Timed Relationships in Systems and Properties.	PNSE @ Petri Nets	2015	DBLP BibTeX RDF
90	Somsak Vanit-Anunchai	Validating DCCP Simultaneous Feature Negotiation Procedure.	PNSE @ Petri Nets	2015	DBLP BibTeX RDF
90	Roberto Bruni, Andrea Corradini 0001, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin	Awareness and Control in Adaptable Transition Systems.	PNSE @ Petri Nets	2015	DBLP BibTeX RDF
90	David Mosteller, Lawrence Cabac, Michael Haustermann	Providing Petri Net-Based Semantics in Model Driven-Development for the Renew Meta-Modeling Framework.	PNSE @ Petri Nets	2015	DBLP BibTeX RDF
90	Lawrence Cabac, Michael Haustermann, David Mosteller	Renew - The Reference Net Workshop.	PNSE @ Petri Nets	2015	DBLP BibTeX RDF
90	Jan Hicken, Lawrence Cabac, Michael Haustermann	Introducing the Quick Fix for the Petri Net Modeling Tool Renew.	PNSE @ Petri Nets	2015	DBLP BibTeX RDF
90	Christian Röder, Lawrence Cabac	Integrating Network Technique into Distributed Agent-Oriented Software Development Projects.	PNSE @ Petri Nets	2015	DBLP BibTeX RDF
90	Camille Coti, Sami Evangelista, Kais Klai	Queue-less, Uncentralized Resource Discovery: Formal Specification and Verification.	PNSE @ Petri Nets	2015	DBLP BibTeX RDF
90	Bowen Li, Maciej Koutny	Unfolding CSPT-nets.	PNSE @ Petri Nets	2015	DBLP BibTeX RDF
90	Giancarlo Ballauco, Paolo Ceravolo, Ernesto Damiani, Fulvio Frati, Francesco Zavatarelli	De-Materializing Local Public Administration Processes.	PNSE @ Petri Nets	2015	DBLP BibTeX RDF
90	Antonio Brogi, Andrea Canciani, Jacopo Soldani, Pengwei Wang 0001	Modelling the Behaviour of Management Operations in Cloud-based Applications.	PNSE @ Petri Nets	2015	DBLP BibTeX RDF
90	Adja Ndeye Sylla, Maxime Louvel, François Pacull	Coordination Rules Generation from Coloured Petri Net Models.	PNSE @ Petri Nets	2015	DBLP BibTeX RDF
90	Tomas Richta, Vladimír Janousek, Radek Kocí	Dynamic Software Architecture for Distributed Embedded Control Systems.	PNSE @ Petri Nets	2015	DBLP BibTeX RDF
90	Elvio Gilberto Amparore	Reengineering the Editor of the GreatSPN Framework.	PNSE @ Petri Nets	2015	DBLP BibTeX RDF
90	Dennis Schmitz, Lawrence Cabac	Process-oriented Worksheets for the Support of Teaching Projects.	PNSE @ Petri Nets	2015	DBLP BibTeX RDF
90	Ahana Pradhan, Rushikesh K. Joshi	Lookahead Consistency Models for Dynamic Migration of Workflow Processes.	PNSE @ Petri Nets	2015	DBLP BibTeX RDF
90	Sofiane Bendoukha, Thomas Wagner 0003	Improving Performance of Complex Workflows: Investigating Moving Net Execution to the Cloud.	PNSE @ Petri Nets	2015	DBLP BibTeX RDF
90	Gerard Florin, Claude Kaiser, Stéphane Natkin	Petri net models of a distributed election protocol on a unidirectional ring.	Applications and Theory of Petri Nets	1989	DBLP DOI BibTeX RDF	election protocols, performance evaluation, distributed algorithms, stochastic Petri nets, formal proof
90	Serge Haddad	A reduction theory for coloured nets.	European Workshop on Applications and Theory in Petri Nets	1988	DBLP DOI BibTeX RDF	behavioural properties, methodology, reductions, coloured Petri nets
89	Claudia Ermel, Roswitha Bardohl, Hartmut Ehrig	Generation of Animation Views for Petri Nets in GenGED.	Petri Net Technology for Communication-Based Systems	2003	DBLP DOI BibTeX RDF
89	Robin Bergenthum, Jörg Desel, Robert Lorenz 0001, Sebastian Mauser	Synthesis of Petri Nets from Scenarios with VipTool.	Petri Nets	2008	DBLP DOI BibTeX RDF
89	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
89	Rüdiger Valk, Matthias Jantzen	The residue of vector sets with applications to decidability problems in Petri nets.	European Workshop on Applications and Theory in Petri Nets	1984	DBLP DOI BibTeX RDF
89	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
89	Jörg Desel, Vesna Milijic, Christian Neumair	Model Validation in Controller Design.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
89	Joaquin Ezpeleta, Jean-Michel Couvreur, Manuel Silva Suárez	A New Technique for Finding a Generating Family of Siphons, Traps and st-Components. Application to Colored Petri Nets.	Applications and Theory of Petri Nets	1991	DBLP DOI BibTeX RDF	siphon, st-component, p-semiflow, Petri net, colored Petri net, trap
89	Y. Narahari, Nukala Viswanadham	On the invariants of coloured Petri nets.	Applications and Theory in Petri Nets	1985	DBLP DOI BibTeX RDF
89	Jacques Vautherin	Non-linear invariants for coloured Petri nets with interdependent tokens; application to the proof of parallel programs.	Applications and Theory in Petri Nets	1985	DBLP DOI BibTeX RDF
89	Geoffrey R. Wheeler, Michael C. Wilbur-Ham, Jonathan Billington, J. A. Gilmour	Protocol analysis using numerical Petri nets.	Applications and Theory in Petri Nets	1985	DBLP DOI BibTeX RDF
88	Rodney R. Howell, Petr Jancar, Louis E. Rosier	Single-Path Petri Nets.	MFCS	1991	DBLP DOI BibTeX RDF
87	Lawrence Cabac, Till Dörges, Heiko Rölke	A Monitoring Toolset for Paose.	Petri Nets	2008	DBLP DOI BibTeX RDF	Paose, multi-agent systems, testing, monitoring, debugging, analysis, inspection, Renew, reference nets
87	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
87	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
87	Wolfgang Reisig	Simple Composition of Nets.	Petri Nets	2009	DBLP DOI BibTeX RDF
87	Zhen Liu 0001	Performance Bounds for Stochastic Timed Petri Nets.	Application and Theory of Petri Nets	1995	DBLP DOI BibTeX RDF	mean token number, linear programming, throughput, uniformization, performance bound, Stochastic timed Petri net
87	Tiehua Cao, Arthur C. Sanderson	Variable Reasoning and Analysis about Uncertainty with Fuzzy Petri Nets.	Application and Theory of Petri Nets	1993	DBLP DOI BibTeX RDF
87	Carlos A. Heuser, Gernot Richter	Constructs for Modeling Information Systems with Petri Nets.	Application and Theory of Petri Nets	1992	DBLP DOI BibTeX RDF	side-condition, inhibitor arc, dead transition, information system, conceptual modeling, capacity, multiplicity, high-level Petri net
87	Antti Valmari	Stubborn sets for reduced state space generation.	Applications and Theory of Petri Nets	1989	DBLP DOI BibTeX RDF	analysis of behaviour of nets, system verification
87	Johan Lilius	OB(PN)2: An Object Based Petri Net Programming Notation.	Concurrent Object-Oriented Programming and Petri Nets	2001	DBLP DOI BibTeX RDF
87	Olivier Bonnet-Torrés, Patrice Domenech, Charles Lesire, Catherine Tessier	Exhost-PIPE: PIPE Extended for Two Classes of Monitoring Petri Nets.	ICATPN	2006	DBLP DOI BibTeX RDF
86	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
85	Christophe Sibertin-Blanc	Cooperative Nets.	Application and Theory of Petri Nets	1994	DBLP DOI BibTeX RDF
85	Nick C. Russell, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede	Designing a Workflow System Using Coloured Petri Nets.	Trans. Petri Nets Other Model. Concurr.	2009	DBLP DOI BibTeX RDF	newYAWL, business process management, coloured Petri nets, workflow patterns, workflow technology
85	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
85	Roberto Gorrieri, Ugo Montanari	Distributed Implementation of CCS.	Applications and Theory of Petri Nets	1991	DBLP DOI BibTeX RDF	Place/Transition Petri nets, concurrent calculi, net calculi, implementation morphism, atomicity, operational semantics, denotational semantics
85	Richard P. Hopkins	Distributable nets.	Applications and Theory of Petri Nets	1990	DBLP DOI BibTeX RDF	Processor Placement, Distributed Systems, Petri Nets
85	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
85	Charles André	Synchronized elementary net systems.	European Workshop on Applications and Theory in Petri Nets	1988	DBLP DOI BibTeX RDF	Labelled POset, Synchronization, Process, Time Petri Nets, Elementary net systems
85	Guy Juanole, B. Algayres, J. Dufau	On communication protocol modelling and design.	European Workshop on Applications and Theory in Petri Nets	1984	DBLP DOI BibTeX RDF	Key-Words Distributed systems, Petri nets, protocol, service, system architecture, modelling methodology
85	Dragan Gasevic, Vladan Devedzic	Reusing Petri Nets Through the Semantic Web.	ESWS	2004	DBLP DOI BibTeX RDF
85	Valentín Valero Ruiz, Juan José Pardo, Fernando Cuartero	Translating TPAL Specifications into Timed-Arc Petri Nets.	ICATPN	2002	DBLP DOI BibTeX RDF
84	Jörg Desel, Gabriel Juhás, Robert Lorenz 0001	Process Semantics of Petri Nets over Partial Algebra.	ICATPN	2000	DBLP DOI BibTeX RDF
84	Jonathan Billington, Guy Edward Gallasch, Bing Han	A Coloured Petri Net Approach to Protocol Verification.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
84	Monika Heiner, Martin Schwarick, Alexej Tovchigrechko	DSSZ-MC - A Tool for Symbolic Analysis of Extended Petri Nets.	Petri Nets	2009	DBLP DOI BibTeX RDF
84	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
84	Robin Bergenthum, Robert Lorenz 0001, Sebastian Mauser	Faster Unfolding of General Petri Nets Based on Token Flows.	Petri Nets	2008	DBLP DOI BibTeX RDF
84	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
84	Pascal A. Remy, Alexander H. Levis	On the Generation of Organizational Architectures Using Petri Nets.	European Workshop on Applications and Theory of Petri Nets	1987	DBLP DOI BibTeX RDF
84	Goffredo Haus, Antonio Rodriguez	Music Description and Processing by Petri Nets.	European Workshop on Applications and Theory of Petri Nets	1987	DBLP DOI BibTeX RDF
84	Rodney R. Howell, Louis E. Rosier	Recent results on the complexity of problems related to Petri nets.	European Workshop on Applications and Theory of Petri Nets	1986	DBLP DOI BibTeX RDF
84	Marco Ajmone Marsan, Giovanni Chiola	On Petri nets with deterministic and exponentially distributed firing times.	European Workshop on Applications and Theory of Petri Nets	1986	DBLP DOI BibTeX RDF
84	Kurt Jensen, Erik Meineche Schmidt	Pascal semantics by a combination of denotational semantics and high-level Petri nets.	Applications and Theory in Petri Nets	1985	DBLP DOI BibTeX RDF
84	Ichiro Suzuki	Formal Analysis of the Alternating Bit Protocol by Temporal Petri Nets.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	temporal Petri nets, omega -regular expressions, Buchi-automata, formal specification, formal specification, Petri nets, formal verification, program verification, programming theory, transitions, formal analysis, automata theory, firings, formulas, alternating bit protocol, temporal operators
84	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
83	P. W. Hoogers, H. C. M. Kleijn, P. S. Thiagarajan	A Trace Semantics for Petri Nets (Extended Abstract).	ICALP	1992	DBLP DOI BibTeX RDF
83	Adel Benzina, Mario Paludetto, Jérôme Delatour	About the Suitability of Petri Nets for Describing, Validating and Evaluating SA-RT Specifications.	APSEC	1997	DBLP DOI BibTeX RDF
83	P. W. Hoogers, H. C. M. Kleijn, P. S. Thiagarajan	Local Event Structures and Petri Nets.	CONCUR	1993	DBLP DOI BibTeX RDF
83	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
83	Julia Padberg, Milan Urbásek	Rule-Based Refinement of Petri Nets: A Survey.	Petri Net Technology for Communication-Based Systems	2003	DBLP DOI BibTeX RDF
83	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 Distributed 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
83	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
83	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
83	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
83	Vanio M. Savi, Xiaolan Xie	Liveness and Boundedness Analysis for Petri Nets with Event Graph Modules.	Application and Theory of Petri Nets	1992	DBLP DOI BibTeX RDF
83	Astrid Kiehn	Infinitary Partial Petri Net Languages and Their Relationship to Other Petri Net Semantics.	European Workshop on Applications and Theory of Petri Nets	1987	DBLP DOI BibTeX RDF
82	Lom-Messan Hillah, Fabrice Kordon	Petri Nets Repository: A Tool to Benchmark and Debug Petri Net Tools.	Petri Nets	2017	DBLP DOI BibTeX RDF
82	Kamila Barylska, Eike Best	Properties of Plain, Pure, and Safe Petri Nets - with some Applications to Petri Net Synthesis.	ATAED@Petri Nets/ACSD	2016	DBLP BibTeX RDF
82	Ernst W. Mayr, Jeremias Weihmann	A Framework for Classical Petri Net Problems: Conservative Petri Nets as an Application.	Petri Nets	2014	DBLP DOI BibTeX RDF
82	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
82	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
82	Peter Buchholz 0001	A Notion of Equivalence for Stochastic Petri Nets.	Application and Theory of Petri Nets	1995	DBLP DOI BibTeX RDF
82	Susanna Donatelli	Superposed Generalized Stochastic Petri Nets: Definition and Efficient Solution.	Application and Theory of Petri Nets	1994	DBLP DOI BibTeX RDF
82	Guenter Klas	Hierarchical Solution of Generalized Stochastic Petri Nets by Means of Traffic Processes.	Application and Theory of Petri Nets	1992	DBLP DOI BibTeX RDF
82	Andrei Kovalyov	Concurrency Relations and the Safety Problem for Petri Nets.	Application and Theory of Petri Nets	1992	DBLP DOI BibTeX RDF
82	Gary J. Nutt	A simulation system architecture for graph models.	Applications and Theory of Petri Nets	1989	DBLP DOI BibTeX RDF
82	Peter H. Starke	Some properties of timed nets under the earliest firing rule.	European Workshop on Applications and Theory in Petri Nets	1988	DBLP DOI BibTeX RDF
82	Marco Montali, Andrey Rivkin	From DB-nets to Coloured Petri Nets with Priorities.	Petri Nets	2019	DBLP DOI BibTeX RDF
82	Hubert Garavel	Nested-Unit Petri Nets: A Structural Means to Increase Efficiency and Scalability of Verification on Elementary Nets.	Petri Nets	2015	DBLP DOI BibTeX RDF
82	Benjamin Braatz, Hartmut Ehrig, Milan Urbásek	Petri Net Transformations in the "Petri Net Baukasten".	Petri Net Technology for Communication-Based Systems	2003	DBLP DOI BibTeX RDF
82	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
82	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
82	Vadim E. Kotov, Ludmila Cherkasova	On structural properties of generalized processes.	European Workshop on Applications and Theory in Petri Nets	1984	DBLP DOI BibTeX RDF
81	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
81	Barbara Fryc, Krzysztof Pancerz, Zbigniew Suraj	Approximate Petri Nets for Rule-Based Decision Making.	Rough Sets and Current Trends in Computing	2004	DBLP DOI BibTeX RDF	approximate Petri nets, approximate reasoning, decision systems
81	Enric Pastor, Jordi Cortadella, Oriol Roig	Symbolic Analysis of Bounded Petri Nets.	IEEE Trans. Computers	2001	DBLP DOI BibTeX RDF	Binary Decition Diagrams, Petri nets, formal verification, symbolic methods
81	Elisabeth Pelz, Dietmar Tutsch	Formal Models for Multicast Traffic in Network on Chip Architectures with Compositional High-Level Petri Nets.	ICATPN	2007	DBLP DOI BibTeX RDF
81	Binsan Khadka, Boleslaw Mikolajczak	Incorporating Object-Orientedness in Transformations from Live Sequence Charts to Colored Petri Nets.	ITNG	2008	DBLP DOI BibTeX RDF	Colored Petri Nets, Live Sequence Charts