Search results for "concurrency"

Hits ?▲	Authors	Title	Venue	Year	Link
21	Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski	On Synthesising Step Alphabets for Acyclic Invariant Structures.	ATAED@Petri Nets/ACSD	2017	DBLP BibTeX RDF
21	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
21	Markus Huber 0006, Matthias Wolff	Segmenting Sequences Semantically. Using Petri Net Transducers for the Translation from Sequential Data to Non-Sequential Models.	ATAED@Petri Nets/ACSD	2017	DBLP BibTeX RDF
21	Ernesto López-Mellado, Tonatiuh Flores-Tapia	Refining Discovered Petri Nets by Sequencing Repetitive Components.	ATAED@Petri Nets/ACSD	2017	DBLP BibTeX RDF
21	Robin Bergenthum, Benjamin Meis	Mining with Eve - Process Discovery and Event Structures.	ATAED@Petri Nets/ACSD	2017	DBLP BibTeX RDF
21	Luca Bernardinello, Carlo Ferigato, Lucia Pomello, Adrián Puerto Aubel	On Stability of Regional Orthomodular Posets.	ATAED@Petri Nets/ACSD	2017	DBLP BibTeX RDF
21	Evgeny Erofeev, Harro Wimmel	Reachability Graphs of Two-Transition Petri Nets.	ATAED@Petri Nets/ACSD	2017	DBLP BibTeX RDF
21	Uli Schlachter, Valentin Spreckels	Synthesis of Labelled Transition Systems into Equal-Conflict Petri Nets.	ATAED@Petri Nets/ACSD	2017	DBLP BibTeX RDF
21	Krzysztof Lecki, Jerzy Tyszkiewicz, Jacek Sroka	Structural Induction as a Method to Distribute the Generation of a Trace Language Representation for Complex Systems.	ATAED@Petri Nets/ACSD	2017	DBLP BibTeX RDF
21	Benjamin Dalmas, Niek Tax, Sylvie Norre	Heuristics for High-Utility Local Process Model Mining.	ATAED@Petri Nets/ACSD	2017	DBLP BibTeX RDF
21	Sebastiaan J. van Zelst, Alfredo Bolt, Boudewijn F. van Dongen	Tuning Alignment Computation: An Experimental Evaluation.	ATAED@Petri Nets/ACSD	2017	DBLP BibTeX RDF
21	Sergio Hernández, Pedro Álvarez 0001, Javier Fabra, Joaquín Ezpeleta	Using Model Checking to Identify Customers Purchasing Behaviour in an E-Commerce.	ATAED@Petri Nets/ACSD	2017	DBLP BibTeX RDF
21	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
21	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
21	José Ángel Bañares	Model-Driven Development of Performance Sensitive Cloud Native Streaming Applications.	PNSE @ Petri Nets	2017	DBLP BibTeX RDF
21	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
21	Soumia Mancer, Hammadi Bennoui	Coloured Petri Nets Based Diagnosis on Causal Models.	PNSE @ Petri Nets	2017	DBLP BibTeX RDF
21	Karima Ennaoui, Lhouari Nourine, Farouk Toumani	Complexity Aspects of Web Services Composition.	PNSE @ Petri Nets	2017	DBLP BibTeX RDF
21	Pascale Möller, Michael Haustermann, David Mosteller, Dennis Schmitz	Simulating Multiple Formalisms Concurrently Based on Reference Nets.	PNSE @ Petri Nets	2017	DBLP BibTeX RDF
21	Vladimir A. Bashkin	On the Resource Equivalences in Petri nets with Invisible Transitions.	PNSE @ Petri Nets	2017	DBLP BibTeX RDF
21	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
21	Lars Michael Kristensen, Gabriele Taentzer, Steffen Vaupel	Towards Verification of Connection-Aware Transaction Models for Mobile Applications.	PNSE @ Petri Nets	2017	DBLP BibTeX RDF
21	Anna Gogolinska, Lukasz Mikulski, Marcin Piatkowski	GPU Computations and Memory Access Model Based on Petri Nets.	PNSE @ Petri Nets	2017	DBLP BibTeX RDF
21	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
21	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
21	Julia Padberg	Verification of Reconfigurable Petri Nets.	PNSE @ Petri Nets	2017	DBLP BibTeX RDF
21	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
21	Oscar Urra, Sergio Ilarri	Modeling Mobile Agents in Vehicular Networks.	PNSE @ Petri Nets	2017	DBLP BibTeX RDF
21	Rowland Pitts, Hassan Gomaa	Modeling Reusable Concurrent Passive Entity Objects in Colored Petri Nets.	PNSE @ Petri Nets	2017	DBLP BibTeX RDF
21	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 2016 Satellite event of the conferences: 37th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2016 and 16th International Conference on Application of Concurrency to System Design ACSD 2016, Torun, Poland, June 20-21, 2016.	ATAED@Petri Nets/ACSD	2016	DBLP BibTeX RDF
21	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
21	Florent Latombe, Xavier Crégut, Marc Pantel	Concurrency-aware Executable Domain-Specific Modeling Languages as Models of Concurrency.	EXE@MoDELS	2016	DBLP BibTeX RDF
21	Piotr Chrzastowski-Wachtel	Shapes of Concurrency.	CS&P	2016	DBLP BibTeX RDF
21	Gert Janssenswillen, Benoît Depaire, Toon Jouck	Calculating the Number of Unique Paths in a Block-Structured Process Model.	ATAED@Petri Nets/ACSD	2016	DBLP BibTeX RDF
21	Benjamin Meis, Robin Bergenthum, Jörg Desel	Synthesis of Elementary Net Systems with Final Configurations.	ATAED@Petri Nets/ACSD	2016	DBLP BibTeX RDF
21	Pieter De Koninck, Jochen De Weerdt	Determining the Number of Trace Clusters: a Stability-based Approach.	ATAED@Petri Nets/ACSD	2016	DBLP BibTeX RDF
21	Borja Vázquez-Barreiros, David Chapela, Manuel Mucientes, Manuel Lama, Diego Berea	Process Mining in IT Service Management: A Case Study.	ATAED@Petri Nets/ACSD	2016	DBLP BibTeX RDF
21	María Teresa Gómez-López, Diana Borrego, Josep Carmona 0001, Rafael M. Gasca	Computing Alignments with Constraint Programming: The Acyclic Case.	ATAED@Petri Nets/ACSD	2016	DBLP BibTeX RDF
21	Sergey A. Shershakov, Anna A. Kalenkova, Irina A. Lomazova	Transition Systems Reduction: Balancing between Precision and Simplicity.	ATAED@Petri Nets/ACSD	2016	DBLP BibTeX RDF
21	Edelma Rodríguez-Pérez, Tonatiuh Tapia-Flores, Ernesto López-Mellado	Identification of Timed Discrete Event Processes. Building Input-Output Petri Net Models.	ATAED@Petri Nets/ACSD	2016	DBLP BibTeX RDF
21	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
21	Julius Holderer, Josep Carmona 0001, Günter Müller	Security-Sensitive Tackling of Obstructed Workow Executions.	ATAED@Petri Nets/ACSD	2016	DBLP BibTeX RDF
21	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
21	Tonatiuh Tapia-Flores, Edelma Rodríguez-Pérez, Ernesto López-Mellado	Discovering Process Models from Incomplete Event Logs using Conjoint Occurrence Classes.	ATAED@Petri Nets/ACSD	2016	DBLP BibTeX RDF
21	David Mosteller, Michael Haustermann	Case Studies of the Renew Meta-Modeling and Transformation Framework.	PNSE @ Petri Nets	2016	DBLP BibTeX RDF
21	Moulaye Ndiaye, Jean-François Pétin, Jean-Philippe Georges, Jacques Camerini	Practical Use of Coloured Petri Nets for the Design and Performance Assessment of Distributed Automation Architectures.	PNSE @ Petri Nets	2016	DBLP BibTeX RDF
21	Michael Simon, Daniel Moldt	Extending Renew's Algorithms for Distributed Simulation.	PNSE @ Petri Nets	2016	DBLP BibTeX RDF
21	Ahana Pradhan, Rushikesh K. Joshi	Distributed Change Region Detection in Dynamic Evolution of Fragmented Processes.	PNSE @ Petri Nets	2016	DBLP BibTeX RDF
21	Yann Thierry-Mieg	Bridging the Gap Between Formal Methods and Software Engineering Using Model-based Technology.	PNSE @ Petri Nets	2016	DBLP BibTeX RDF
21	Toshiyuki Miyamoto	CSCB Tools: A Tool to Synthesize Pareto Optimal State Machine Models from Choreography Using Petri Nets.	PNSE @ Petri Nets	2016	DBLP BibTeX RDF
21	Anirban Bhattacharyya, Bowen Li, Brian Randell	Time in Structured Occurrence Nets.	PNSE @ Petri Nets	2016	DBLP BibTeX RDF
21	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
21	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
21	Christian Rohr	Discrete-Time Leap Method for Stochastic Simulation.	PNSE @ Petri Nets	2016	DBLP BibTeX RDF
21	Simon V. Hardy, Mathieu Pagé Fortin	Analysis of the Signal Transduction Dynamics Regulating mTOR with Mathematical Modeling, Petri Nets and Dynamic Graphs.	PNSE @ Petri Nets	2016	DBLP BibTeX RDF
21	Max Friedrich, Daniel Moldt	Introducing Refactoring for Reference Nets.	PNSE @ Petri Nets	2016	DBLP BibTeX RDF
21	Camille Coti, Charles Lakos, Laure Petrucci	Formally Proving and Enhancing a Self-Stabilising Distributed Algorithm.	PNSE @ Petri Nets	2016	DBLP BibTeX RDF
21	Jan Hicken, Michael Haustermann, Daniel Moldt	Refining the Quick Fix for the Petri Net Modeling Tool Renew.	PNSE @ Petri Nets	2016	DBLP BibTeX RDF
21	Irina A. Lomazova, Vera O. Ermakova	Verification of Nested Petri Nets Using an Unfolding Approach.	PNSE @ Petri Nets	2016	DBLP BibTeX RDF
21	Gabriele Taentzer, Steffen Vaupel	Model-Driven Development of Mobile Applications: Towards Context-Aware Apps of High Quality.	PNSE @ Petri Nets	2016	DBLP BibTeX RDF
21	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
21	Jordan de la Houssaye, Franck Pommereau, Philippe Deniel	Formal Modelling and Analysis of Distributed Storage Systems.	PNSE @ Petri Nets	2016	DBLP BibTeX RDF
21	H. M. W. Verbeek	Decomposed Replay Using Hiding and Reduction.	PNSE @ Petri Nets	2016	DBLP BibTeX RDF
21	Ramchandra Phawade	Kleene Theorem for Labelled Free Choice Nets without Distributed Choice.	PNSE @ Petri Nets	2016	DBLP BibTeX RDF
21	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
21	Antti Valmari, Henri Hansen	Stubborn Set Intuition Explained.	PNSE @ Petri Nets	2016	DBLP BibTeX RDF
21	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, ATAED 2015, 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.	ATAED@Petri Nets/ACSD	2015	DBLP BibTeX RDF
21	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
21	Jafar Akhundov, Peter Tröger, Matthias Werner 0001	Considering Concurrency in Early Spacecraft Design Studies.	CS&P	2015	DBLP BibTeX RDF
21	Louchka Popova-Zeugmann	Time and Concurrency - Three Approaches for Intertwining Time and Petri Nets.	CS&P	2015	DBLP BibTeX RDF
21	Alexandra Silva 0001	Applications of Automata and Concurrency Theory in Networks (Invited Paper).	CONCUR	2015	DBLP DOI BibTeX RDF
21	Timo Sztyler, Johanna Völker, Josep Carmona 0001, Oliver Meier, Heiner Stuckenschmidt	Discovery of Personal Processes from Labeled Sensor Data - An Application of Process Mining to Personalized Health Care.	ATAED@Petri Nets/ACSD	2015	DBLP BibTeX RDF
21	Likewin Thomas, Manoj Kumar M. V, Annappa Basava, Vishwanath Kadaba Puttanna	An Optimal Process Model for a Real Time Process.	ATAED@Petri Nets/ACSD	2015	DBLP BibTeX RDF
21	Antonia Azzini, Paolo Ceravolo, Ernesto Damiani, Francesco Zavatarelli	Knowledge Driven Behavioural Analysis in Process Intelligence.	ATAED@Petri Nets/ACSD	2015	DBLP BibTeX RDF
21	Kamila Barylska, Eike Best, Evgeny Erofeev, Lukasz Mikulski, Marcin Piatkowski	On Binary Words Being Petri Net Solvable.	ATAED@Petri Nets/ACSD	2015	DBLP BibTeX RDF
21	Robin Bergenthum, Thomas Irgang, Benjamin Meis	Folding Example Runs to a Workflow Net.	ATAED@Petri Nets/ACSD	2015	DBLP BibTeX RDF
21	Manoj Kumar M. V, Likewin Thomas, Annappa Basava	Capturing the Sudden Concept Drift in Process Mining.	ATAED@Petri Nets/ACSD	2015	DBLP BibTeX RDF
21	Sebastiaan J. van Zelst, Boudewijn F. van Dongen, Wil M. P. van der Aalst	ILP-Based Process Discovery Using Hybrid Regions.	ATAED@Petri Nets/ACSD	2015	DBLP BibTeX RDF
21	Joel Ribeiro, Josep Carmona 0001	A Method for Assessing Parameter Impact on Control-Flow Discovery Algorithms.	ATAED@Petri Nets/ACSD	2015	DBLP BibTeX RDF
21	Robin Bergenthum	Compact Regions for Place/Transition Nets.	ATAED@Petri Nets/ACSD	2015	DBLP BibTeX RDF
21	Andrey Mokhov, Josep Carmona 0001	Event Log Visualisation with Conditional Partial Order Graphs: from Control Flow to Data.	ATAED@Petri Nets/ACSD	2015	DBLP BibTeX RDF
21	Borja Vázquez-Barreiros, Manuel Mucientes, Manuel Lama	Mining Duplicate Tasks from Discovered Processes.	ATAED@Petri Nets/ACSD	2015	DBLP BibTeX RDF
21	Kent Inge Fagerland Simonsen, Lars Michael Kristensen, Ekkart Kindler	Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification.	PNSE @ Petri Nets	2015	DBLP BibTeX RDF
21	Jan Martijn E. M. van der Werf, Erwin Kaats	Discovery of Functional Architectures From Event Logs.	PNSE @ Petri Nets	2015	DBLP BibTeX RDF
21	Nicolas Guelfi	Software Engineering and Modeling Education: Problems and Solutions.	PNSE @ Petri Nets	2015	DBLP BibTeX RDF
21	Ahana Pradhan, Rushikesh K. Joshi	Catalog-based Token Transportation in Acyclic Block-Structured WF-nets.	PNSE @ Petri Nets	2015	DBLP BibTeX RDF
21	Étienne André, Laure Petrucci	Unifying Patterns for Modelling Timed Relationships in Systems and Properties.	PNSE @ Petri Nets	2015	DBLP BibTeX RDF
21	Somsak Vanit-Anunchai	Validating DCCP Simultaneous Feature Negotiation Procedure.	PNSE @ Petri Nets	2015	DBLP BibTeX RDF
21	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
21	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
21	Lawrence Cabac, Michael Haustermann, David Mosteller	Renew - The Reference Net Workshop.	PNSE @ Petri Nets	2015	DBLP BibTeX RDF
21	Jan Hicken, Lawrence Cabac, Michael Haustermann	Introducing the Quick Fix for the Petri Net Modeling Tool Renew.	PNSE @ Petri Nets	2015	DBLP BibTeX RDF
21	Christian Röder, Lawrence Cabac	Integrating Network Technique into Distributed Agent-Oriented Software Development Projects.	PNSE @ Petri Nets	2015	DBLP BibTeX RDF
21	Jörg Desel, Javier Esparza	Negotiations and Petri Nets.	PNSE @ Petri Nets	2015	DBLP BibTeX RDF
21	Elisabeth Pelz, Abderraouf Kabouche, Louchka Popova-Zeugmann	Interval-Timed Petri Nets with Auto-concurrent Semantics and their State Equation.	PNSE @ Petri Nets	2015	DBLP BibTeX RDF
21	Camille Coti, Sami Evangelista, Kais Klai	Queue-less, Uncentralized Resource Discovery: Formal Specification and Verification.	PNSE @ Petri Nets	2015	DBLP BibTeX RDF
21	Bowen Li, Maciej Koutny	Unfolding CSPT-nets.	PNSE @ Petri Nets	2015	DBLP BibTeX RDF
21	Giancarlo Ballauco, Paolo Ceravolo, Ernesto Damiani, Fulvio Frati, Francesco Zavatarelli	De-Materializing Local Public Administration Processes.	PNSE @ Petri Nets	2015	DBLP BibTeX RDF
21	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
21	Adja Ndeye Sylla, Maxime Louvel, François Pacull	Coordination Rules Generation from Coloured Petri Net Models.	PNSE @ Petri Nets	2015	DBLP BibTeX RDF