Search results for "Petri-Nets"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
98	Chuanliang Xia	Analysis of Properties of Petri Synthesis Net.	TAMC	2006	DBLP DOI BibTeX RDF	liveness and boundedness, Petri nets, synthesis, analysis
98	Rüdiger Valk	Concurrency in Communicating Object Petri Nets.	Concurrent Object-Oriented Programming and Petri Nets	2001	DBLP DOI BibTeX RDF
98	Rainer Fehling	A Concept of Hierarchical Petri Nets with Building Blocks.	Applications and Theory of Petri Nets	1991	DBLP DOI BibTeX RDF	system design using nets, Computer tools for nets
98	Rémi Bastide, Philippe A. Palanque	A Petri Net based Environment for the Design of Event-driven Interfaces.	Application and Theory of Petri Nets	1995	DBLP DOI BibTeX RDF	Key-words User Interface, Design, High-level Petri nets, Computer tools for nets
97	Makoto Tanabe	Timed Petri Nets and Temporal Linear Logic.	ICATPN	1997	DBLP DOI BibTeX RDF	temporal linear logic, timed Petri nets, quantales
97	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.	Trans. Petri Nets Other Model. Concurr.	2009	DBLP DOI BibTeX RDF	Workflow Nets, Reset Nets, Verification, Petri Nets, Decidability, Soundness
97	Lars Michael Kristensen, Søren Christensen, Kurt Jensen	The Practitioner's Guide to Coloured Petri Nets.	Int. J. Softw. Tools Technol. Transf.	1998	DBLP DOI BibTeX RDF	Practical use, Modelling, Verification, Validation, Visualisation, Tool support, Coloured Petri nets, High-level Petri nets
96	Valentín Valero Ruiz, David de Frutos-Escrig, Fernando Cuartero	Timed Processes of Timed Petri Nets.	Application and Theory of Petri Nets	1995	DBLP DOI BibTeX RDF
96	Jordi Cortadella, Michael Kishinevsky, Luciano Lavagno, Alexandre Yakovlev	Synthesizing Petri nets from state-based models.	ICCAD	1995	DBLP DOI BibTeX RDF	Petri nets, Synthesis, Finite State Machines, Asynchronous Circuits, Transition Systems
96	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
95	Evgeniy A. Golenkov, A. S. Sokolov, George V. Tarasov, Dmitriy I. Kharitonov	Experimental Version of Parallel Programs Translator from Petri Nets to C++.	PaCT	2001	DBLP DOI BibTeX RDF	distributed systems, parallel programming, Petri Nets, Parallel systems, supercomputing, computers clusters
95	Uffe Engberg, Glynn Winskel	Linear Logic on Petri Nets.	REX School/Symposium	1993	DBLP DOI BibTeX RDF	Petri nets, Linear logic
95	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
95	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
95	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
95	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
94	Anatol W. Holt	Coordination technology and Petri nets.	Applications and Theory in Petri Nets	1985	DBLP DOI BibTeX RDF
93	Jean Mairesse, Hoang-Thach Nguyen	Deficiency Zero Petri Nets and Product Form.	Petri Nets	2009	DBLP DOI BibTeX RDF
93	Matthias Jantzen, Georg Zetzsche	Labeled Step Sequences in Petri Nets.	Petri Nets	2008	DBLP DOI BibTeX RDF
93	Manfred Droste, R. M. Shortt	Continuous Petri Nets and Transition Systems.	Unifying Petri Nets	2001	DBLP DOI BibTeX RDF
93	Wilfried Brauer, Robert Gold, Walter Vogler	A survey of behaviour and equivalence preserving refinements of Petri nets.	Applications and Theory of Petri Nets	1989	DBLP DOI BibTeX RDF	place/transition net, history preserving bisimulation, Petri net, refinement, deadlocking, liveness, Concurrent system, interval order, partial order semantics, safeness, top-down design, failures semantics
93	Gérard Boudol, Gérard Roucairol, Robert de Simone	Petri nets and algebraic calculi of processes.	Applications and Theory in Petri Nets	1985	DBLP DOI BibTeX RDF
93	Heino Carstensen, Rüdiger Valk	Infinite behaviour and fairness in Petri nets.	European Workshop on Applications and Theory in Petri Nets	1984	DBLP DOI BibTeX RDF
93	Geert Stremersch, René K. Boel	Structuring Acyclic Petri Nets for Reachability Analysis and Control.	Discret. Event Dyn. Syst.	2002	DBLP DOI BibTeX RDF	acyclic Petri net, uncontrollable transitions, Petri net, supervisory control
93	João Lourenço, Luís Gomes 0001	Animated Graphical User Interface Generator Framework for Input-Output Place-Transition Petri Net Models.	Petri Nets	2008	DBLP DOI BibTeX RDF
92	Wil M. P. van der Aalst	Interval Timed Coloured Petri Nets and their Analysis.	Application and Theory of Petri Nets	1993	DBLP DOI BibTeX RDF
92	Rik Eshuis, Roel J. Wieringa	Comparing Petri Net and Activity Diagram Variants for Workflow Modelling - A Quest for Reactive Petri Nets.	Petri Net Technology for Communication-Based Systems	2003	DBLP DOI BibTeX RDF
92	Roland Meyer 0001, Victor Khomenko, Tim Strazny	A Practical Approach to Verification of Mobile Systems Using Net Unfoldings.	Petri Nets	2008	DBLP DOI BibTeX RDF	finite control processes, safe processes, Petri net unfoldings, model checking, mobile systems, ?-Calculus
92	Roberto Bruni, Vladimiro Sassone	Two Algebraic Process Semantics for Contextual Nets.	Unifying Petri Nets	2001	DBLP DOI BibTeX RDF
92	Éric Badouel, Jules Chenou, Goulven Guillou	Petri Algebras.	ICALP	2005	DBLP DOI BibTeX RDF
91	Lay G. Ding, Lin Liu 0003	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
91	R. Gouet, F. Plo, M. San Miguel, Bernard Ycart	Saturation Conditions For Stochastic Petri Nets.	Applications and Theory of Petri Nets	1991	DBLP DOI BibTeX RDF	Conditions of saturation, Stochastic Petri Nets
91	Janette Cardoso, Robert Valette, Didier Dubois	Petri nets with uncertain markings.	Applications and Theory of Petri Nets	1989	DBLP DOI BibTeX RDF	possibility logic, fuzzy dates, F.M.S., Petri Nets, imprecise, uncertain
91	Claire Hanen	Optimizing microprograms for recurrent loops on pipelined architectures using timed Petri nets.	European Workshop on Applications and Theory in Petri Nets	1988	DBLP DOI BibTeX RDF	Key-words Timed Petri nets, software pipelining, cyclic scheduling
91	Pedro Álvarez 0001, José A. Bañares, Joaquin Ezpeleta	Approaching Web Service Coordination and Composition by Means of Petri Nets. The Case of the Nets-Within-Nets Paradigm.	ICSOC	2005	DBLP DOI BibTeX RDF	Service Composition and Coordination, Formal Methods for Service-Oriented Architectures, Nets-within-Nets paradigm, Petri nets
90	Yann Thierry-Mieg	Efficient Strategies to Compute Invariants, Bounds and Stable Places of Petri nets.	PNSE@Petri Nets	2023	DBLP BibTeX RDF
90	Michael Köhler-Bussmeier, Heiko Rölke	Petri-Nets@Run.Time: Handling Uncertainty during Run-Time Adaptation using Digital Twins.	PNSE@Petri Nets	2023	DBLP BibTeX RDF
90	José Jean-Paul Zanlucchi de Souza Tavares, José Reinaldo Silva	Towards an Agile Distributed Management System Based on Petri Nets.	ATAED/PN4TT@Petri Nets	2023	DBLP BibTeX RDF
90	Federica Adobbati, Luca Bernardinello, Lucia Pomello	Solving a Safety Game on the Unfolding of Safe Petri Nets.	PNSE@Petri Nets	2023	DBLP BibTeX RDF
90	Yike Li, Yin Tong, Marco Demuro, Alessandro Giua	Safety-oriented Testing for High-speed Rail Onboard Equipment Using Petri Nets.	ATAED/PN4TT@Petri Nets	2023	DBLP BibTeX RDF
90	Karnika Shivhare, Rushikesh K. Joshi	Semantic Preserving, Notational and Transformational Challenges in Transfiguring BPMN models into Petri Nets.	PNSE@Petri Nets	2023	DBLP BibTeX RDF
90	Carlos Galindo 0002, Marisa Llorens, Sergio Pérez 0001, Josep Silva	Slicing Petri Nets to Reduce Their Complexity - Abstract.	ATAED/PN4TT@Petri Nets	2023	DBLP BibTeX RDF
90	Fernando Pereira, Filipe Moutinho, Luís Gomes 0001	A Syntax-Independent Code Generation Tool for IOPT-Petri Nets.	ATAED/PN4TT@Petri Nets	2023	DBLP BibTeX RDF
90	Sulochan Naik, Meenakshi D'Souza	Fault Detection in Microservices using Petri Nets.	PNSE@Petri Nets	2023	DBLP BibTeX RDF
90	Bart-Jan Hilbrands, Debjyoti Bera, Benny Akesson	Partial Specifications of Component-Based Systems using Petri Nets.	PNSE@Petri Nets	2022	DBLP BibTeX RDF
90	Federica Adobbati, Lukasz Mikulski	Analysing Multi-Agent Systems using 1-safe Petri Nets.	PNSE@Petri Nets	2022	DBLP BibTeX RDF
90	Federica Adobbati, Luca Bernardinello, Görkem Kilinç Soylu, Lucia Pomello	Information Flow among Transitions of Bounded Equal-Conflict Petri Nets.	PNSE@Petri Nets	2022	DBLP BibTeX RDF
90	Rakshit Mittal, Dominique Blouin, Soumyadip Bandyopadhyay	Validating Extended Feature Model Configurations using Petri Nets.	PNSE@Petri Nets	2021	DBLP BibTeX RDF
90	Ronny Tredup, Sophie Wallner	The Reachability Problem for Acyclic Join-Free Petri nets is NP-complete.	PNSE@Petri Nets	2021	DBLP BibTeX RDF
90	Mohammed Assiri, Ryszard Janicki	Towards Modeling of Cardiac Pacemakers With Timed Coloured Petri Nets And Related Tools.	PNSE@Petri Nets	2021	DBLP BibTeX RDF
90	Ammar Boucherit, Kamel Barkaoui, Osman Hasan	An Enhanced Rewriting Logic Based Semantics for High Level Petri nets.	PNSE@Petri Nets	2021	DBLP BibTeX RDF
90	Mohammed Assiri, Ryszard Janicki	Modelling and Analyzing Electrocardiogram Events using Timed Coloured Petri Nets.	PNSE@Petri Nets	2020	DBLP BibTeX RDF
90	David Mosteller, Michael Haustermann, Leonie S. Dreschler-Fischer	Graphical Languages for Functional Reactive Modeling based on Petri nets.	PNSE@Petri Nets	2020	DBLP BibTeX RDF
90	Rowland Pitts	Modeling State Transitions with Colored Petri Nets.	PNSE@Petri Nets	2020	DBLP BibTeX RDF
90	Anastasia Gkolfi, Einar Broch Johnsen, Lars Michael Kristensen, Ingrid Chieh Yu	Model Checking Starvation for Resource-aware Active Objects with Coloured Petri Nets.	PNSE@Petri Nets	2020	DBLP BibTeX RDF
90	Vincent Iampietro, David Andreu 0001, David Delahaye	Toward the Formal Verification of HILECOP: Formalization and Implementation of Synchronously Executed Petri Nets.	PNSE@Petri Nets	2020	DBLP BibTeX RDF
90	Federica Adobbati, Luca Bernardinello, Lucia Pomello	An Asynchronous Game on Distributed Petri Nets.	PNSE@Petri Nets/ACSD	2019	DBLP BibTeX RDF
90	Hans Vangheluwe	Petri Nets in Multi-Paradigm Modelling.	PNSE@Petri Nets/ACSD	2019	DBLP BibTeX RDF
90	Elvio Gilberto Amparore, Susanna Donatelli, Marco Beccuti, Giulio Garbi, Andrew S. Miner	Decision Diagrams for Petri Nets: Which Variable Ordering?	PNSE @ Petri Nets	2017	DBLP BibTeX RDF
90	Soumia Mancer, Hammadi Bennoui	Coloured Petri Nets Based Diagnosis on Causal Models.	PNSE @ Petri Nets	2017	DBLP BibTeX RDF
90	Vladimir A. Bashkin	On the Resource Equivalences in Petri nets with Invisible Transitions.	PNSE @ Petri Nets	2017	DBLP BibTeX RDF
90	Anna Gogolinska, Lukasz Mikulski, Marcin Piatkowski	GPU Computations and Memory Access Model Based on Petri Nets.	PNSE @ Petri Nets	2017	DBLP BibTeX RDF
90	Julia Padberg	Verification of Reconfigurable Petri Nets.	PNSE @ Petri Nets	2017	DBLP BibTeX RDF
90	Rowland Pitts, Hassan Gomaa	Modeling Reusable Concurrent Passive Entity Objects in Colored Petri Nets.	PNSE @ Petri Nets	2017	DBLP BibTeX RDF
90	Diana-Elena Gratie, Ion Petre	Full structural model refinement as type refinement of colored Petri nets.	BioPPN@Petri Nets	2015	DBLP BibTeX RDF
90	Paolo Baldan, Martina Bocci, Daniele Brigolin, Nicoletta Cocco, Marta Simeoni	Petri nets for modelling and analysing trophic networks.	BioPPN@Petri Nets	2015	DBLP BibTeX RDF
90	Jure Bordon, Miha Moskon, Miha Mraz	Overcoming unknown kinetic data for quantitative modelling of biological systems using fuzzy logic and Petri nets.	BioPPN@Petri Nets	2014	DBLP BibTeX RDF
90	Radhia Gaddouri, Leonardo Brenner, Isabel Demongodin	Extension of Batches Petri Nets by Bi-parts Batch Places.	ADECS @ Petri Nets	2014	DBLP BibTeX RDF
90	Mostafa Herajy, Fei Liu 0006, Christian Rohr	Coloured hybrid Petri nets for systems biology.	BioPPN@Petri Nets	2014	DBLP BibTeX RDF
90	Baisi Liu, Mohamed Ghazel, Armand Toguyéni	OF-PENDA: A Software Tool for Fault Diagnosis of Discrete Event Systems Modeled by Labeled Petri Nets.	ADECS @ Petri Nets	2014	DBLP BibTeX RDF
90	Jörg Desel, Wolfgang Reisig	Place or Transition Petri Nets.	Petri Nets	1996	DBLP DOI BibTeX RDF
90	Kurt Jensen	An Introduction to the Practical Use of Coloured Petri Nets.	Petri Nets (2)	1996	DBLP DOI BibTeX RDF
90	Mogens Nielsen, Vladimiro Sassone	Petri Nets and Other Models of Concurrency.	Petri Nets	1996	DBLP DOI BibTeX RDF
90	Wolfgang Reisig, Grzegorz Rozenberg	Informal Introduction to Petri Nets.	Petri Nets	1996	DBLP DOI BibTeX RDF
90	Eike Best, Raymond R. Devillers, Maciej Koutny	Petri Nets, Process Algebras and Concurrent Programming Languages.	Petri Nets (2)	1996	DBLP DOI BibTeX RDF
90	Jonathan Billington	Protocol Specification Using P-Graphs, a Technique Based on Coloured Petri Nets.	Petri Nets (2)	1996	DBLP DOI BibTeX RDF
90	Marco Ajmone Marsan, Andrea Bobbio, Susanna Donatelli	Petri Nets in Performance Analysis: An Introduction.	Petri Nets	1996	DBLP DOI BibTeX RDF
90	Manuel Silva Suárez, Enrique Teruel, Robert Valette, Hervé Pingaud	Petri Nets and Production Systems.	Petri Nets (2)	1996	DBLP DOI BibTeX RDF
90	Giorgio De Michelis, Clarence A. Ellis	Computer Supported Cooperative Work and Petri Nets.	Petri Nets (2)	1996	DBLP DOI BibTeX RDF
90	Robin Bergenthum, Sabine Folz-Weinstein, Jakub Kovár	Token Trail Semantics - Modeling Behavior of Petri Nets with Labeled Petri Nets.	Petri Nets	2023	DBLP DOI BibTeX RDF
90	Lawrence Cabac, Lars Michael Kristensen, Heiko Rölke (eds.)	Proceedings of the International Workshop on Petri Nets and Software Engineering 2016, including the International Workshop on Biological Processes & Petri Nets 2016 co-located with the 37th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2016 and the 16th International Conference on Application of Concurrency to System Design ACSD 2016, Toruń, Poland, June 20-21, 2016.	PNSE @ Petri Nets	2016	DBLP BibTeX RDF
90	David Mosteller, Michael Haustermann	Case Studies of the Renew Meta-Modeling and Transformation Framework.	PNSE @ Petri Nets	2016	DBLP BibTeX RDF
90	Michael Simon, Daniel Moldt	Extending Renew's Algorithms for Distributed Simulation.	PNSE @ Petri Nets	2016	DBLP BibTeX RDF
90	Ahana Pradhan, Rushikesh K. Joshi	Distributed Change Region Detection in Dynamic Evolution of Fragmented Processes.	PNSE @ Petri Nets	2016	DBLP BibTeX RDF
90	Yann Thierry-Mieg	Bridging the Gap Between Formal Methods and Software Engineering Using Model-based Technology.	PNSE @ Petri Nets	2016	DBLP BibTeX RDF
90	Anirban Bhattacharyya, Bowen Li, Brian Randell	Time in Structured Occurrence Nets.	PNSE @ Petri Nets	2016	DBLP BibTeX RDF
90	Thomas Wagner 0003, Daniel Moldt, Michael Köhler-Bußmeier	From eHornets to Hybrid Agent and Workflow Systems.	PNSE @ Petri Nets	2016	DBLP BibTeX RDF
90	Khanh Le, Thang H. Bui, Tho Quan, Laure Petrucci	A Framework for Fast Congestion Detection in Wireless Sensor Networks Using Clustering and Petri-Net-based Verification.	PNSE @ Petri Nets	2016	DBLP BibTeX RDF
90	Christian Rohr	Discrete-Time Leap Method for Stochastic Simulation.	PNSE @ Petri Nets	2016	DBLP BibTeX RDF
90	Max Friedrich, Daniel Moldt	Introducing Refactoring for Reference Nets.	PNSE @ Petri Nets	2016	DBLP BibTeX RDF
90	Camille Coti, Charles Lakos, Laure Petrucci	Formally Proving and Enhancing a Self-Stabilising Distributed Algorithm.	PNSE @ Petri Nets	2016	DBLP BibTeX RDF
90	Jan Hicken, Michael Haustermann, Daniel Moldt	Refining the Quick Fix for the Petri Net Modeling Tool Renew.	PNSE @ Petri Nets	2016	DBLP BibTeX RDF
90	Gabriele Taentzer, Steffen Vaupel	Model-Driven Development of Mobile Applications: Towards Context-Aware Apps of High Quality.	PNSE @ Petri Nets	2016	DBLP BibTeX RDF
90	Alban Linard, Benoît Barbot, Didier Buchs, Maximilien Colange, Clément Démoulins, Lom-Messan Hillah, Alexis Martin	Layered Data: A Modular Formal Definition without Formalisms.	PNSE @ Petri Nets	2016	DBLP BibTeX RDF
90	Jordan de la Houssaye, Franck Pommereau, Philippe Deniel	Formal Modelling and Analysis of Distributed Storage Systems.	PNSE @ Petri Nets	2016	DBLP BibTeX RDF
90	H. M. W. Verbeek	Decomposed Replay Using Hiding and Reduction.	PNSE @ Petri Nets	2016	DBLP BibTeX RDF
90	Ramchandra Phawade	Kleene Theorem for Labelled Free Choice Nets without Distributed Choice.	PNSE @ Petri Nets	2016	DBLP BibTeX RDF
90	Admar Ajith Kumar Somappa, Kent Inge Fagerland Simonsen	Model-based Development for MAC Protocols in Industrial Wireless Sensor Networks.	PNSE @ Petri Nets	2016	DBLP BibTeX RDF
90	Antti Valmari, Henri Hansen	Stubborn Set Intuition Explained.	PNSE @ Petri Nets	2016	DBLP BibTeX RDF
90	Daniel Moldt, Heiko Rölke, Harald Störrle (eds.)	Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'15), including the International Workshop on Petri Nets for Adaptive Discrete Event Control Systems (ADECS 2015) A satellite event of the conferences: 36th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2015 and 15th International Conference on Application of Concurrency to System Design ACSD 2015, Brussels, Belgium, June 22-23, 2015.	PNSE @ Petri Nets	2015	DBLP BibTeX RDF