Search results for "Petri-Nets"

Hits ?▲	Authors	Title	Venue	Year	Link
74	Jan Henrik Röwekamp, Marvin Taube, Patrick Mohr, Daniel Moldt	Cloud Native Simulation of Reference Nets.	PNSE@Petri Nets	2021	DBLP BibTeX RDF
74	Jan Henrik Röwekamp, Manuela Buchholz, Daniel Moldt	Petri Net Sagas.	PNSE@Petri Nets	2021	DBLP BibTeX RDF
74	David de Frutos-Escrig	Distributed Population Protocols: Naturally!	PNSE@Petri Nets	2021	DBLP BibTeX RDF
74	Michael Müller, Michael Köhler-Bußmeier	Availability Analysis of the ONOS Architecture.	PNSE@Petri Nets	2021	DBLP BibTeX RDF
74	Kent Inge Fagerland Simonsen	On Modelling Cloud Native Applications.	PNSE@Petri Nets	2021	DBLP BibTeX RDF
74	Madiou Diallo, Benny Akesson, Debjyoti Bera, Ronald Begeer	Synthetic Portnet Generation with Controllable Complexity for Testing and Benchmarking.	PNSE@Petri Nets	2021	DBLP BibTeX RDF
74	Joel Greenyer	Scenario-Based Modeling and Programming of Distributed Systems.	PNSE@Petri Nets	2021	DBLP BibTeX RDF
74	Rakshit Mittal, Soumyadip Bandyopadhyay	Translation Validation of Scheduled Conditional Behavior using PN.	PNSE@Petri Nets	2021	DBLP BibTeX RDF
74	Michael Köhler-Bußmeier, Ekkart Kindler, Heiko Rölke (eds.)	Proceedings of the International Workshop on Petri Nets and Software Engineering co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2020), Paris, France, June 24, 2020 (due to COVID-19: virtual conference).	PNSE@Petri Nets	2020	DBLP BibTeX RDF
74	Karsten Wolf	Portfolio Management in Explicit Model Checking.	PNSE@Petri Nets	2020	DBLP BibTeX RDF
74	Aishah Ahmed, Marta Pietkiewicz-Koutny	Algorithms for the Synthesis of Elementary Net Systems with Localities.	PNSE@Petri Nets	2020	DBLP BibTeX RDF
74	Johan Arcile, Raymond R. Devillers, Hanna Klaudel	Models for Dynamic Exploration of the Statespaces of Autonomous Vehicles.	PNSE@Petri Nets	2020	DBLP BibTeX RDF
74	Bjarne Jessen, Daniel Moldt	Some Simple Extensions of Petri's Cycloids.	PNSE@Petri Nets	2020	DBLP BibTeX RDF
74	Sven Willrodt, Daniel Moldt, Michael Simon	Modular Model Checking of Reference Nets: MoMoC.	PNSE@Petri Nets	2020	DBLP BibTeX RDF
74	Dennis Schmitz, Matthias Feldmann, Daniel Moldt	Analyzing Software Engineering Courses with Process Mining and Business Intelligence.	PNSE@Petri Nets	2020	DBLP BibTeX RDF
74	Rakshit Mittal, Rochisnu Banerjee, Santonu Sarkar, Soumyadip Bandyopadhyay	Translation Validation of Loop involving Code Optimizing Transformations using Petri Net based Models of Programs.	PNSE@Petri Nets	2020	DBLP BibTeX RDF
74	Luca Bernardinello, Irina A. Lomazova, Roman Nesterov, Lucia Pomello	Property-Preserving Transformations of Elementary Net Systems Based on Morphisms.	PNSE@Petri Nets	2020	DBLP BibTeX RDF
74	Julio Cesar Carrasquel, Irina A. Lomazova, Andrey Rivkin	Modeling Trading Systems using Petri Net Extensions.	PNSE@Petri Nets	2020	DBLP BibTeX RDF
74	Torsten Liebke, Christian Rosenke	Faster Enabledness-Updates for the Reachability Graph Computation.	PNSE@Petri Nets	2020	DBLP BibTeX RDF
74	Torsten Liebke, Karsten Wolf	Verification of Token-Scaling Models using an Under-Approximation.	PNSE@Petri Nets	2020	DBLP BibTeX RDF
74	Torsten Liebke	Büchi-Automata guided Partial Order Reduction for LTL.	PNSE@Petri Nets	2020	DBLP BibTeX RDF
74	Wen Zeng, Vasileios Germanos	Quantitative Reaction Systems.	PNSE@Petri Nets	2020	DBLP BibTeX RDF
74	Daniel Moldt, Ekkart Kindler, Manuel Wimmer (eds.)	Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE 2019), co-located with the 40th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2019 and the 19th International Conference on Application of Concurrency to System Design ACSD 2019 and the 1st IEEE International Conference on Process Mining Process Mining 2019, Aachen, Germany, June 23-28, 2019.	PNSE@Petri Nets/ACSD	2019	DBLP BibTeX RDF
74	Wil M. P. van der Aalst, Robin Bergenthum, Josep Carmona 0001 (eds.)	Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2019 Satellite event of the conferences: 40th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2019 and 19th International Conference on Application of Concurrency to System Design ACSD 2019, ATAED@Petri Nets/ACSD 2019, Aachen, Germany, June 25, 2019.	ATAED@Petri Nets/ACSD	2019	DBLP BibTeX RDF
74	Elena Gómez-Martínez, Juan de Lara, Esther Guerra	Towards Extensible Structural Analysis of Petri Net Product Lines.	PNSE@Petri Nets/ACSD	2019	DBLP BibTeX RDF
74	Talal Alharbi, Maciej Koutny	Domain Name System (DNS) Tunneling Detection using Structured Occurrence Nets (SONs).	PNSE@Petri Nets/ACSD	2019	DBLP BibTeX RDF
74	José Jean-Paul Zanlucchi de Souza Tavares, Gabriel De A. Souza	PNRD and iPNRD Integration Assisting Adaptive Control in Block World Domain.	PNSE@Petri Nets/ACSD	2019	DBLP BibTeX RDF
74	Piotr Chrzastowski-Wachtel, Michal Dolezek, Pawel Greipner, Tomasz Wójcicki	Petri Meta-Compiler - A Recursive Approach to System Design and Development.	PNSE@Petri Nets/ACSD	2019	DBLP BibTeX RDF
74	Jan Mendling	Quotients for Behaviour Comparisons: Monotone Precision and Recall Measures for Process Mining.	PNSE@Petri Nets/ACSD	2019	DBLP BibTeX RDF
74	Wen Zeng, Vasileios Germanos	Modelling Hybrid Cyber Kill Chain.	PNSE@Petri Nets/ACSD	2019	DBLP BibTeX RDF
74	Michael Simon, Daniel Moldt, Henri Engelhardt, Sven Willrodt	A First Prototype for the Visualization of the Reachability Graph of Reference Nets.	PNSE@Petri Nets/ACSD	2019	DBLP BibTeX RDF
74	Torsten Liebke, Karsten Wolf	Solving E (φUψ) using the CEGAR Approach.	PNSE@Petri Nets/ACSD	2019	DBLP BibTeX RDF
74	Maxi Weichenhain, Wolfgang Fengler 0001	A Petri Net Table Model Applied to Classic and Agile Project Management.	PNSE@Petri Nets/ACSD	2019	DBLP BibTeX RDF
74	Alejandro Rodríguez 0006, Lars Michael Kristensen, Adrian Rutle	On CTL Model Checking of the MQTT IoT Protocol using the Sweep-Line Method.	PNSE@Petri Nets/ACSD	2019	DBLP BibTeX RDF
74	Jan Henrik Röwekamp, Matthias Feldmann, Daniel Moldt, Michael Simon	Simulating Place/Transition Nets by a Distributed, Web Based, Stateless Service.	PNSE@Petri Nets/ACSD	2019	DBLP BibTeX RDF
74	Federica Adobbati, Carlo Ferigato, Stefano Gandelli, Adrián Puerto Aubel	Two Operations for Stable Structures of Elementary Regions.	ATAED@Petri Nets/ACSD	2019	DBLP BibTeX RDF
74	Nassim Laga, Marwa Elleuch, Walid Gaaloul, Oumaima Alaoui Ismaili	Emails Analysis for Business Process Discovery.	ATAED@Petri Nets/ACSD	2019	DBLP BibTeX RDF
74	Alessandro Berti, Wil M. P. van der Aalst	Reviving Token-based Replay: Increasing Speed While Improving Diagnostics.	ATAED@Petri Nets/ACSD	2019	DBLP BibTeX RDF
74	Raymond R. Devillers, Evgeny Erofeev, Thomas Hujsa	Synthesis of Weighted Marked Graphs from Circular Labelled Transition Systems.	ATAED@Petri Nets/ACSD	2019	DBLP BibTeX RDF
74	Jörg Desel	Can a Single Transition Stop an Entire Net?	ATAED@Petri Nets/ACSD	2019	DBLP BibTeX RDF
74	Ronny Tredup, Christian Rosenke	On the Hardness of Synthesizing Boolean Nets.	ATAED@Petri Nets/ACSD	2019	DBLP BibTeX RDF
74	Daniel Moldt, Ekkart Kindler, Heiko Rölke (eds.)	Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'18), co-located with the39th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2018 and the 18th International Conference on Application of Concurrency to System Design ACSD 2018, Bratislava, Slovakia, June 24-29, 2018.	PNSE@Petri Nets/ACSD	2018	DBLP BibTeX RDF
74	Rozália Lakner, Ferenc Friedler, Botond Bertók	P-graph Algorithms for Petri Net Synthesis.	PNSE@Petri Nets/ACSD	2018	DBLP BibTeX RDF
74	Talal Alharbi, Maciej Koutny	Visualising Data Sets in Structured Occurrence Nets.	PNSE@Petri Nets/ACSD	2018	DBLP BibTeX RDF
74	Jan Henrik Röwekamp, Daniel Moldt, Matthias Feldmann	Investigation of Containerizing Distributed Petri Net Simulations.	PNSE@Petri Nets/ACSD	2018	DBLP BibTeX RDF
74	Karsten Wolf	A Simple Abstract Interpretation for Petri Net Queries.	PNSE@Petri Nets/ACSD	2018	DBLP BibTeX RDF
74	Marco Vinícius Muniz Ferreira, José Jean-Paul Zanlucchi de Souza Tavares, José Reinaldo Silva	The Pheromone of Ant Emulated by Petri Net Inserted Inversely in RFID Database for Swarm Robots.	PNSE@Petri Nets/ACSD	2018	DBLP BibTeX RDF
74	Stefan Klikovits, Alban Linard, Dimitri Racordon, Didier Buchs	Petri Sport: A Sport for Petri Netters.	PNSE@Petri Nets/ACSD	2018	DBLP BibTeX RDF
74	Ramchandra Phawade	Kleene Theorems for Free Choice Nets Labelled with Distributed Alphabets.	PNSE@Petri Nets/ACSD	2018	DBLP BibTeX RDF
74	David Mosteller, Michael Haustermann, Daniel Moldt, Dennis Schmitz	Graphical Simulation Feedback in Petri Net-based Domain-Specific Languages within a Meta-Modeling Environment.	PNSE@Petri Nets/ACSD	2018	DBLP BibTeX RDF
74	Alejandro Rodríguez 0006, Lars Michael Kristensen, Adrian Rutle	On Modelling and Validation of the MQTT IoT Protocol for M2M Communication.	PNSE@Petri Nets/ACSD	2018	DBLP BibTeX RDF
74	Luca Bernardinello, Lucia Pomello, Adrián Puerto Aubel, Alessandro Villa	Checking Weak Observable Liveness on Unfoldings Through Asynchronous Games.	PNSE@Petri Nets/ACSD	2018	DBLP BibTeX RDF
74	Daniel Moldt, Lawrence Cabac, Heiko Rölke (eds.)	Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'17), co-located with the38th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2017 and the 17th International Conference on Application of Concurrency to System Design ACSD 2017, Zaragoza, Spain, June 25-30, 2017.	PNSE@Petri Nets	2017	DBLP BibTeX RDF
74	Rui Wang 0048, Lars Michael Kristensen, Hein Meling, Volker Stolz	Application of Model-based Testing on a Quorum-based Distributed Storage.	PNSE @ Petri Nets	2017	DBLP BibTeX RDF
74	José Ángel Bañares	Model-Driven Development of Performance Sensitive Cloud Native Streaming Applications.	PNSE @ Petri Nets	2017	DBLP BibTeX RDF
74	Simona Bernardi 0001, Raúl Piraces Alastuey, Alejandro Solanas Bonilla, Raquel Trillo Lado	Towards a Systematic Model-driven Approach for the Detection of Web Threats and Use Cases.	PNSE @ Petri Nets	2017	DBLP BibTeX RDF
74	Karima Ennaoui, Lhouari Nourine, Farouk Toumani	Complexity Aspects of Web Services Composition.	PNSE @ Petri Nets	2017	DBLP BibTeX RDF
74	Pascale Möller, Michael Haustermann, David Mosteller, Dennis Schmitz	Simulating Multiple Formalisms Concurrently Based on Reference Nets.	PNSE @ Petri Nets	2017	DBLP BibTeX RDF
74	Djamila Dahmani, Mohand Cherif Boukala, Hassan Mountassir, Samir Chouali	Compatibility Control of Asynchronous Communicating Systems with Unbounded Buffers.	PNSE @ Petri Nets	2017	DBLP BibTeX RDF
74	Lars Michael Kristensen, Gabriele Taentzer, Steffen Vaupel	Towards Verification of Connection-Aware Transaction Models for Mobile Applications.	PNSE @ Petri Nets	2017	DBLP BibTeX RDF
74	João Paulo da Silva Fonseca, José Jean-Paul Zanlucchi de Souza Tavares	Petri Net with RFID Distributed Database for Autonomous Search and Rescue in Tracks and Crossings.	PNSE @ Petri Nets	2017	DBLP BibTeX RDF
74	José Jean-Paul Zanlucchi de Souza Tavares, Rodrigo Hiroshi Murofushi, Lucas Henriques Silva, Gustavo Rezende Silva	Petri Net Inside RFID Database Integrated with RFID Indoor Positioning System for Mobile Robots Position Control.	PNSE @ Petri Nets	2017	DBLP BibTeX RDF
74	Martin Wincierz	A Tool Chain for Test-driven Development of Reference Net Software Components in the Context of CAPA Agents.	PNSE @ Petri Nets	2017	DBLP BibTeX RDF
74	Oscar Urra, Sergio Ilarri	Modeling Mobile Agents in Vehicular Networks.	PNSE @ Petri Nets	2017	DBLP BibTeX RDF
74	Monika Heiner, Annegret Katrin Wagler (eds.)	Proceedings of the 6th International Workshop on Biological Processes & Petri Nets co-located with 36th International Conference on Application and Theory of Petri Nets and Concurreny (PETRI NETS 2015), Brussels, Belgium, June 22, 2015.	BioPPN@Petri Nets	2015	DBLP BibTeX RDF
74	Mary Ann Blätke, Christian Rohr	A Colored Petri net approach for spatial Biomodel Engineering based on the modular model composition framework Biomodelkit.	BioPPN@Petri Nets	2015	DBLP BibTeX RDF
74	Atsushi Mizuta, Qi-Wei Ge, Hiroshi Matsuno	Dependent shrink for Petri net models of signaling pathways.	BioPPN@Petri Nets	2015	DBLP BibTeX RDF
74	Qi-Wei Ge, Ren Wu, Mitsuru Nakata	On Modeling internal organs and meridian system based on traditional Chinese medicine.	BioPPN@Petri Nets	2015	DBLP BibTeX RDF
74	Luis Miguel Torres, Annegret Katrin Wagler	The dynamics of deterministic systems - A survey.	BioPPN@Petri Nets	2015	DBLP BibTeX RDF
74	Mohamed Khalgui, Zhiwu Li 0001 (eds.)	ADECS 2014, Proceedings of the 1st International Workshop on Petri Nets for Adaptive Discrete-Event Control Systems, co-located with 35th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2014), Tunis, Tunisia, June 24, 2014.	ADECS @ Petri Nets	2014	DBLP BibTeX RDF
74	Monika Heiner (eds.)	Proceedings of the 5th International Workshop on Biological Processes & Petri Nets co-located with 35th International Conference on Application and Theory of Petri Nets and Concurreny (PETRI NETS 2014), Tunis, Tunisia, June 23, 2014.	BioPPN@Petri Nets	2014	DBLP BibTeX RDF
74	Ahmed Kheldoun, Jiafeng Zhang, Kamel Barkaoui, Malika Ioualalen	A High-Level Nets based Approach for Reconfigurations of Distributed Control Systems.	ADECS @ Petri Nets	2014	DBLP BibTeX RDF
74	Laïd Kahloul, Allaoua Chaoui, Karim Djouani, Samir Bourekkache, Okba Kazar	Using High Level Nets for the Design of Reconfigurable Manufacturing Systems.	ADECS @ Petri Nets	2014	DBLP BibTeX RDF
74	Murat Uzam, Zhiwu Li 0001, Umar Suleiman Abubakar	A General Approach for the Computation of a Liveness Enforcing Supervisor for the Petri Net Model of an FMS.	ADECS @ Petri Nets	2014	DBLP BibTeX RDF
74	Mohamed Oussama Ben Salem, Olfa Mosbahi, Mohamed Khalgui	PCP-based Solution for Resource Sharing in Reconfigurable Timed Net Condition/Event Systems.	ADECS @ Petri Nets	2014	DBLP BibTeX RDF
74	Cinzia Di Giusto, Hanna Klaudel, Franck Delaplace	Systemic approach for toxicity analysis.	BioPPN@Petri Nets	2014	DBLP BibTeX RDF
74	Rafael V. Carvalho, Jetty Kleijn, Fons J. Verbeek	A multi-scale extensive Petri net model of the bacterial-macrophage interaction.	BioPPN@Petri Nets	2014	DBLP BibTeX RDF
74	Marco Beccuti	Mathematical models on cancer progression.	BioPPN@Petri Nets	2014	DBLP BibTeX RDF
74	Marie C. F. Favre, Wolfgang Marwan, Annegret Wagler	Integrating a priori knowledge in automatic network reconstruction.	BioPPN@Petri Nets	2014	DBLP BibTeX RDF
74	Jörg Desel, Wolfgang Reisig, Grzegorz Rozenberg (eds.)	Lectures on Concurrency and Petri Nets, Advances in Petri Nets [This tutorial volume originates from the 4th Advanced Course on Petri Nets, ACPN 2003, held in Eichstätt, Germany in September 2003. In addition to lectures given at ACPN 2003, additional chapters have been commissioned]	Lectures on Concurrency and Petri Nets	2004	DBLP DOI BibTeX RDF
74	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
74	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
74	Blaise Genest, Anca Muscholl, Doron A. Peled	Message Sequence Charts.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
74	Philippe Darondeau	Unbounded Petri Net Synthesis.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
74	Johan Bengtsson, Wang Yi 0001	Timed Automata: Semantics, Algorithms and Tools.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
74	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
74	Gabriel Juhás, Robert Lorenz 0001, Christian Neumair	Modelling and Control with Modules of Signal Nets.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
74	Mogens Nielsen, Frank D. Valencia	Notes on Timed Concurrent Constraint Programming.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
74	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
74	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
74	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
74	Giuliana Franceschinis, Marina Ribaudo	Efficient Performance Analysis Techniques for Stochastic Well-Formed Nets and Stochastic Process Algebras.	Petri Nets (2)	1996	DBLP DOI BibTeX RDF
74	Susanna Donatelli, Giuliana Franceschinis	Modelling and Analysis of Distributed Software Using GSPNs.	Petri Nets (2)	1996	DBLP DOI BibTeX RDF
74	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
74	Antti Valmari	The State Explosion Problem.	Petri Nets	1996	DBLP DOI BibTeX RDF
74	Grzegorz Rozenberg, Joost Engelfriet	Elementary Net Systems.	Petri Nets	1996	DBLP DOI BibTeX RDF
74	Éric Badouel, Philippe Darondeau	Theory of Regions.	Petri Nets	1996	DBLP DOI BibTeX RDF
74	Einar Smith	Principles of High-Level Net Theory.	Petri Nets	1996	DBLP DOI BibTeX RDF
74	Jörg Desel	Basic Linear Algebraic Techniques for Place or Transition Nets.	Petri Nets	1996	DBLP DOI BibTeX RDF
74	Javier Esparza	Decidability and Complexity of Petri Net Problems - An Introduction.	Petri Nets	1996	DBLP DOI BibTeX RDF