Search results for "S-nets"

Hits ?▲	Authors	Title	Venue	Year	Link
37	Dan Barak, David Harel, Rami Marelly	InterPlay: Horizontal Scale-up and Transition to Design in Scenario-Based Programming.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
37	Reiko Heckel, Hendrik Voigt	Model-Based Development of Executable Business Processes for Web Services.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
37	Blaise Genest, Anca Muscholl, Doron A. Peled	Message Sequence Charts.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
37	Johan Bengtsson, Wang Yi 0001	Timed Automata: Semantics, Algorithms and Tools.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
37	Abhik Roychoudhury, P. S. Thiagarajan	Communicating Transaction Processes: An MSC-Based Model of Computation for Reactive Embedded Systems.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
37	Mogens Nielsen, Frank D. Valencia	Notes on Timed Concurrent Constraint Programming.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
37	Wolfgang Reisig, Grzegorz Rozenberg (eds.)	Lectures on Petri Nets II: Applications, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets, held in Dagstuhl, September 1996	Petri Nets (2)	1998	DBLP DOI BibTeX RDF
37	Wolfgang Reisig, Grzegorz Rozenberg (eds.)	Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets, held in Dagstuhl, September 1996	Petri Nets	1998	DBLP DOI BibTeX RDF
37	Wolfgang Reisig, Ekkart Kindler, Tobias Vesper, Hagen Völzer, Rolf Walter	Distributed Algorithms for Networks of Agents.	Petri Nets (2)	1996	DBLP DOI BibTeX RDF
37	Susanna Donatelli, Giuliana Franceschinis	Modelling and Analysis of Distributed Software Using GSPNs.	Petri Nets (2)	1996	DBLP DOI BibTeX RDF
37	Manuel Silva Suárez, Enrique Teruel, José Manuel Colom	Linear Algebraic and Linear Programming Techniques for the Analysis of Place or Transition Net Systems.	Petri Nets	1996	DBLP DOI BibTeX RDF
37	Antti Valmari	The State Explosion Problem.	Petri Nets	1996	DBLP DOI BibTeX RDF
37	Grzegorz Rozenberg, Joost Engelfriet	Elementary Net Systems.	Petri Nets	1996	DBLP DOI BibTeX RDF
37	Éric Badouel, Philippe Darondeau	Theory of Regions.	Petri Nets	1996	DBLP DOI BibTeX RDF
37	Einar Smith	Principles of High-Level Net Theory.	Petri Nets	1996	DBLP DOI BibTeX RDF
37	Javier Esparza	Decidability and Complexity of Petri Net Problems - An Introduction.	Petri Nets	1996	DBLP DOI BibTeX RDF
37	P. S. Thiagarajan, Jesper G. Henriksen	Distributed Versions of Linear Time Temporal Logic: A Trace Perspective.	Petri Nets	1996	DBLP DOI BibTeX RDF
37	Sami Evangelista	Experimenting with Stubborn Sets on Petri Nets.	Petri Nets	2023	DBLP DOI BibTeX RDF
37	Jaime Arias 0001, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci, Fredrik Rømming	Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving.	Petri Nets	2023	DBLP DOI BibTeX RDF
37	Raymond R. Devillers	On the Reversibility of Circular Conservative Petri Nets.	Petri Nets	2023	DBLP DOI BibTeX RDF
37	Vlad Paul Cosma, Thomas T. Hildebrandt, Tijs Slaats	Transforming Dynamic Condition Response Graphs to Safe Petri Nets.	Petri Nets	2023	DBLP DOI BibTeX RDF
37	Florian Wittbold, Rebecca Bernemann, Reiko Heckel, Tobias Heindel, Barbara König 0001	Stochastic Decision Petri Nets.	Petri Nets	2023	DBLP DOI BibTeX RDF
37	Loriane Leclercq, Didier Lime, Olivier H. Roux	A State Class Based Controller Synthesis Approach for Time Petri Nets.	Petri Nets	2023	DBLP DOI BibTeX RDF
37	Daniël Barenholz, Marco Montali, Artem Polyvyanyy, Hajo A. Reijers, Andrey Rivkin, Jan Martijn E. M. van der Werf	There and Back Again - On the Reconstructability and Rediscoverability of Typed Jackson Nets.	Petri Nets	2023	DBLP DOI BibTeX RDF
37	Viki Peeva, Lisa Luise Mannel, Wil M. P. van der Aalst	From Place Nets to Local Process Models.	Petri Nets	2022	DBLP DOI BibTeX RDF
37	Rafal Graczyk, Waldemar Bujwan, Marcin Darmetko, Marcin Dziezyc, Damien Galano, Konrad Grochowski, Michal A. Kurowski, Grzegorz Juchnikowski, Marek Morawski, Michal Mosdorf, Piotr Orleanski, Cedric Thizy, Marcus Völp	From Graphs to the Science Computer of a Space Telescope - The Power of Petri Nets in Systems Engineering.	Petri Nets	2022	DBLP DOI BibTeX RDF
37	Raymond R. Devillers, Ronny Tredup	Synthesis of Inhibitor-Reset Petri Nets: Algorithmic and Complexity Issues.	Petri Nets	2022	DBLP DOI BibTeX RDF
37	Federica Adobbati, Luca Bernardinello, Lucia Pomello, Riccardo Stramare	Implementable Strategies for a Two-Player Asynchronous Game on Petri Nets.	ATAED@Petri Nets	2022	DBLP BibTeX RDF
37	Dominique Sommers, Natalia Sidorova, Boudewijn F. van Dongen	Aligning Event Logs to Resource-Constrained ν-Petri Nets.	Petri Nets	2022	DBLP DOI BibTeX RDF
37	Vegard Steinsland, Lars Michael Kristensen, Shujun Zhang	Towards the Application of Coloured Petri Nets for Design and Validation of Power Electronics Converter Systems.	Petri Nets	2022	DBLP DOI BibTeX RDF
37	Loïc Hélouët, Pranay Agrawal	Waiting Nets.	Petri Nets	2022	DBLP DOI BibTeX RDF
37	Maxim Storetvedt, Latchezar Betev, Nikola Hardi, Håvard Helstrup, Kristin Fanebust Hetland, Bjarte Kileng	Modelling the Next Generation ALICE Grid Middleware Using Coloured Petri Nets.	Petri Nets	2022	DBLP DOI BibTeX RDF
37	Gabriel Juhás, Ana Juhásová, Tomás Kovácik	Deadlocks and Livelocks in Resource Constrained Workflow Nets.	ATAED@Petri Nets	2022	DBLP BibTeX RDF
37	Franck Pommereau, Colin Thomas, Cédric Gaucherel	Petri Nets Semantics of Reaction Rules (RR) - A Language for Ecosystems Modelling.	Petri Nets	2022	DBLP DOI BibTeX RDF
37	Wil M. P. van der Aalst	Reduction Using Induced Subnets to Systematically Prove Properties for Free-Choice Nets.	Petri Nets	2021	DBLP DOI BibTeX RDF
37	Loïg Jezequel, Didier Lime, Bastien Sérée	A Lazy Query Scheme for Reachability Analysis in Petri Nets.	Petri Nets	2021	DBLP DOI BibTeX RDF
37	Jérôme Leroux	Flat Petri Nets (Invited Talk).	Petri Nets	2021	DBLP DOI BibTeX RDF
37	Michael Haustermann, David Mosteller, Daniel Moldt	Model Checking of Synchronized Domain-Specific Multi-formalism Models Using High-Level Petri Nets.	Petri Nets	2021	DBLP DOI BibTeX RDF
37	Rémi Parrot, Mikaël Briday, Olivier H. Roux	Timed Petri Nets with Reset for Pipelined Synchronous Circuit Design.	Petri Nets	2021	DBLP DOI BibTeX RDF
37	Rüdiger Valk	Deciphering the Co-Car Anomaly of Circular Traffic Queues Using Petri Nets.	Petri Nets	2021	DBLP DOI BibTeX RDF
37	Javier Esparza, Mikhail A. Raskin, Christoph Welzel	Computing Parameterized Invariants of Parameterized Petri Nets.	Petri Nets	2021	DBLP DOI BibTeX RDF
37	Nicolas Amat, Bernard Berthomieu, Silvano Dal-Zilio	On the Combination of Polyhedral Abstraction and SMT-Based Model Checking for Petri Nets.	Petri Nets	2021	DBLP DOI BibTeX RDF
37	Raymond R. Devillers	Synthesis of (Choice-Free) Reset Nets.	Petri Nets	2021	DBLP DOI BibTeX RDF
37	Jiawen Kang, Yunjun Bai, Li Jiao	Abstraction-Based Incremental Inductive Coverability for Petri Nets.	Petri Nets	2021	DBLP DOI BibTeX RDF
37	Ronny Tredup	Synthesis of Petri Nets with Restricted Place-Environments: Classical and Parameterized.	Petri Nets	2021	DBLP DOI BibTeX RDF
37	Pierre Bouvier, Hubert Garavel	Efficient Algorithms for Three Reachability Problems in Safe Petri Nets.	Petri Nets	2021	DBLP DOI BibTeX RDF
37	Martin Schwarick, Christian Rohr, Fei Liu 0006, George Assaf, Jacek Chodak, Monika Heiner	Efficient Unfolding of Coloured Petri Nets Using Interval Decision Diagrams.	Petri Nets	2020	DBLP DOI BibTeX RDF
37	Jörg Desel, Marc Finthammer, Andrea Frank	Cycl$\mathbf {\circlearrowright }$n - A Tool for Determining Stop-Transitions of Petri Nets.	Petri Nets	2020	DBLP DOI BibTeX RDF
37	Olivier Finkel	On the High Complexity of Petri Nets ømega-Languages.	Petri Nets	2020	DBLP DOI BibTeX RDF
37	Silvano Dal-Zilio	MCC: A Tool for Unfolding Colored Petri Nets in PNML Format.	Petri Nets	2020	DBLP DOI BibTeX RDF
37	Pierre Bouvier, Hubert Garavel, Hernán Ponce de León	Automatic Decomposition of Petri Nets into Automata Networks - A Synthetic Account.	Petri Nets	2020	DBLP DOI BibTeX RDF
37	Guanjun Liu	PSPACE-Completeness of the Soundness Problem of Safe Asymmetric-Choice Workflow Nets.	Petri Nets	2020	DBLP DOI BibTeX RDF
37	Elvio Gilberto Amparore, Susanna Donatelli, Francesco Gallà	A CTL* Model Checker for Petri Nets.	Petri Nets	2020	DBLP DOI BibTeX RDF
37	Xavier Allamigeon, Marin Boyet, Stéphane Gaubert	Piecewise Affine Dynamical Models of Timed Petri Nets - Application to Emergency Call Centers.	Petri Nets	2020	DBLP DOI BibTeX RDF
37	Roberto Gorrieri	A Study on Team Bisimulations for BPP Nets.	Petri Nets	2020	DBLP DOI BibTeX RDF
37	Paolo Ballarini, Davide Duma, András Horváth, Roberto Aringhieri	Petri Nets Validation of Markovian Models of Emergency Department Arrivals.	Petri Nets	2020	DBLP DOI BibTeX RDF
37	Ronny Tredup, Evgeny Erofeev	On the Complexity of Synthesis of nop-Free Boolean Petri Nets.	ATAED@Petri Nets	2020	DBLP BibTeX RDF
37	Serge Haddad, Igor Khmelnitsky	Dynamic Recursive Petri Nets.	Petri Nets	2020	DBLP DOI BibTeX RDF
37	Ronny Tredup	Hardness Results for the Synthesis of b-bounded Petri Nets.	Petri Nets	2019	DBLP DOI BibTeX RDF
37	Alain Finkel, Serge Haddad, Igor Khmelnitsky	Coverability and Termination in Recursive Petri Nets.	Petri Nets	2019	DBLP DOI BibTeX RDF
37	Ryszard Janicki	On Interval Semantics of Inhibitor and Activator Nets.	Petri Nets	2019	DBLP DOI BibTeX RDF
37	Vince Molnár, István Majzik	Saturation Enhanced with Conditional Locality: Application to Petri Nets.	Petri Nets	2019	DBLP DOI BibTeX RDF
37	Didier Lime, Olivier H. Roux, Charlotte Seidner	Parameter Synthesis for Bounded Cost Reachability in Time Petri Nets.	Petri Nets	2019	DBLP DOI BibTeX RDF
37	Ronny Tredup	Fixed Parameter Tractability and Polynomial Time Results for the Synthesis of b-bounded Petri Nets.	Petri Nets	2019	DBLP DOI BibTeX RDF
37	Vitali Schneider, Walter Vogler	Modal Open Petri Nets.	Petri Nets	2019	DBLP DOI BibTeX RDF
37	David de Frutos-Escrig, Maciej Koutny, Lukasz Mikulski	Reversing Steps in Petri Nets.	Petri Nets	2019	DBLP DOI BibTeX RDF
37	Lukasz Mikulski, Ivan Lanese	Reversing Unbounded Petri Nets.	Petri Nets	2019	DBLP DOI BibTeX RDF
37	Michael Simon, Daniel Moldt, Dennis Schmitz, Michael Haustermann	Tools for Curry-Coloured Petri Nets.	Petri Nets	2019	DBLP DOI BibTeX RDF
37	Javier Esparza, Mikhail A. Raskin, Chana Weil-Kennedy	Parameterized Analysis of Immediate Observation Petri Nets.	Petri Nets	2019	DBLP DOI BibTeX RDF
37	Luca Bernardinello, Irina A. Lomazova, Roman Nesterov, Lucia Pomello	Compositional Discovery of Workflow Nets from Event Logs Using Morphisms.	ATAED@Petri Nets/ACSD	2018	DBLP BibTeX RDF
37	Engel Lefaucheux, Alessandro Giua, Carla Seatzu	Basis Coverability Graph for Partially Observable Petri Nets with Application to Diagnosability Analysis.	Petri Nets	2018	DBLP DOI BibTeX RDF
37	Niek Tax, Natalia Sidorova, Wil M. P. van der Aalst, Reinder Haakma	LocalProcessModelDiscovery: Bringing Petri Nets to the Pattern Mining World.	Petri Nets	2018	DBLP DOI BibTeX RDF
37	Ekkart Kindler	ePNK Applications and Annotations: A Simulator for YAWL Nets.	Petri Nets	2018	DBLP DOI BibTeX RDF
37	Raymond R. Devillers, Thomas Hujsa	Analysis and Synthesis of Weighted Marked Graph Petri Nets.	Petri Nets	2018	DBLP DOI BibTeX RDF
37	Elvio Gilberto Amparore, Susanna Donatelli	GreatTeach: A Tool for Teaching (Stochastic) Petri Nets.	Petri Nets	2018	DBLP DOI BibTeX RDF
37	Kamila Barylska, Anna Gogolinska, Lukasz Mikulski, Anna Philippou, Marcin Piatkowski, Kyriaki Psara	Reversing Computations Modelled by Coloured Petri Nets.	ATAED@Petri Nets/ACSD	2018	DBLP BibTeX RDF
37	Frederik Bønneland, Jakob Dyhr, Peter Gjøl Jensen, Mads Johannsen, Jirí Srba	Simplification of CTL Formulae for Efficient Model Checking of Petri Nets.	Petri Nets	2018	DBLP DOI BibTeX RDF
37	Christoph Brinkrolf, Philo Reipke	OMPetri - A Software Application for Modeling and Simulation Using Extended Hybrid Petri Nets by Employing OpenModelica.	Petri Nets	2018	DBLP DOI BibTeX RDF
37	Wil M. P. van der Aalst	Markings in Perpetual Free-Choice Nets Are Fully Characterized by Their Enabled Transitions.	Petri Nets	2018	DBLP DOI BibTeX RDF
37	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
37	Franck Pommereau, Jordan de la Houssaye	Faster Simulation of (Coloured) Petri Nets Using Parallel Computing.	Petri Nets	2017	DBLP DOI BibTeX RDF
37	Robert Lorenz 0001, Johannes Metzger, Lev Sorokin	Synthesis of Bounded Petri Nets from Prime Event Structures with Cutting Context using Wrong Continuations.	ATAED@Petri Nets/ACSD	2017	DBLP BibTeX RDF
37	Thomas Hujsa, Raymond R. Devillers	On Liveness and Deadlockability in Subclasses of Weighted Petri Nets.	Petri Nets	2017	DBLP DOI BibTeX RDF
37	Lom-Messan Hillah, Fabrice Kordon	Petri Nets Repository: A Tool to Benchmark and Debug Petri Net Tools.	Petri Nets	2017	DBLP DOI BibTeX RDF
37	Béatrice Bérard, Stefan Haar, Sylvain Schmitz, Stefan Schwoon	The Complexity of Diagnosability and Opacity Verification for Petri Nets.	Petri Nets	2017	DBLP DOI BibTeX RDF
37	Ernesto López-Mellado, Tonatiuh Flores-Tapia	Refining Discovered Petri Nets by Sequencing Repetitive Components.	ATAED@Petri Nets/ACSD	2017	DBLP BibTeX RDF
37	Evgeny Erofeev, Harro Wimmel	Reachability Graphs of Two-Transition Petri Nets.	ATAED@Petri Nets/ACSD	2017	DBLP BibTeX RDF
37	Dimitri Watel, Marc-Antoine Weisser, Dominique Barth	Parameterized Complexity and Approximability of Coverability Problems in Weighted Petri Nets.	Petri Nets	2017	DBLP DOI BibTeX RDF
37	Uli Schlachter, Valentin Spreckels	Synthesis of Labelled Transition Systems into Equal-Conflict Petri Nets.	ATAED@Petri Nets/ACSD	2017	DBLP BibTeX RDF
37	Irina A. Lomazova	Resource Equivalences in Petri Nets.	Petri Nets	2017	DBLP DOI BibTeX RDF
37	Benjamin Meis, Robin Bergenthum, Jörg Desel	travis - An Online Tool for the Synthesis and Analysis of Petri Nets with Final States.	Petri Nets	2017	DBLP DOI BibTeX RDF
37	Rozália Lakner, Ferenc Friedler, Botond Bertók	Synthesis and Analysis of Process Networks by Joint Application of P-graphs and Petri Nets.	Petri Nets	2017	DBLP DOI BibTeX RDF
37	Kristóf Marussy, Vince Molnár, András Vörös 0001, István Majzik	Getting the Priorities Right: Saturation for Prioritised Petri Nets.	Petri Nets	2017	DBLP DOI BibTeX RDF
37	Uli Schlachter	Petri Net Synthesis for Restricted Classes of Nets.	Petri Nets	2016	DBLP DOI BibTeX RDF
37	Slawomir Lasota 0001	Decidability Border for Petri Nets with Data: WQO Dichotomy Conjecture.	Petri Nets	2016	DBLP DOI BibTeX RDF
37	Quentin Gaudel, Pauline Ribot, Elodie Chanthery, Matthew J. Daigle	Health Monitoring of a Planetary Rover Using Hybrid Particle Petri Nets.	Petri Nets	2016	DBLP DOI BibTeX RDF
37	Yrvann Emzivat, Benoît Delahaye, Didier Lime, Olivier H. Roux	Probabilistic Time Petri Nets.	Petri Nets	2016	DBLP DOI BibTeX RDF
37	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
37	Gabriel Juhás, Robert Lorenz 0001	Synthesis of bounded Petri Nets from Prime Event Structures with Cutting Context.	ATAED@Petri Nets/ACSD	2016	DBLP BibTeX RDF
37	Leonid W. Dworzanski, Irina A. Lomazova	Structural Place Invariants for Analyzing the Behavioral Properties of Nested Petri Nets.	Petri Nets	2016	DBLP DOI BibTeX RDF