|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7652 occurrences of 2452 keywords
|
|
|
Results
Found 10697 publication records. Showing 10697 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
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 |
|
|
|