|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 4444 occurrences of 1511 keywords
|
|
|
|
|
Results
Found 8808 publication records. Showing 8808 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 58 | Daniel Schuster 0001, Sebastiaan J. van Zelst, Wil M. P. van der Aalst |
Cortado - An Interactive Tool for Data-Driven Process Discovery and Modeling.  |
Petri Nets  |
2021 |
DBLP DOI BibTeX RDF |
|
| 58 | Adam Burke 0001, Sander J. J. Leemans, Moe Thandar Wynn |
Discovering Stochastic Process Models by Reduction and Abstraction. |
Petri Nets |
2021 |
DBLP DOI BibTeX RDF |
|
| 58 | Robin Bergenthum |
Firing Partial Orders in a Petri Net. |
Petri Nets |
2021 |
DBLP DOI BibTeX RDF |
|
| 58 | Ronny Tredup |
Edge, Event and State Removal: The Complexity of Some Basic Techniques that Make Transition Systems Petri Net Implementable. |
Petri Nets |
2021 |
DBLP DOI BibTeX RDF |
|
| 58 | Sophie Wallner, Karsten Wolf |
Skeleton Abstraction for Universal Temporal Properties. |
Petri Nets |
2021 |
DBLP DOI BibTeX RDF |
|
| 58 | Martin Didriksen, Peter Gjøl Jensen, Jonathan F. Jønler, Andrei-Ioan Katona, Sangey D. L. Lama, Frederik B. Lottrup, Shahab Shajarat, Jirí Srba |
Automatic Synthesis of Transiently Correct Network Updates via Petri Games. |
Petri Nets |
2021 |
DBLP DOI BibTeX RDF |
|
| 58 | Raymond R. Devillers |
Synthesis of (Choice-Free) Reset Nets. |
Petri Nets |
2021 |
DBLP DOI BibTeX RDF |
|
| 58 | Marco Pegoraro 0001, Merih Seran Uysal, Wil M. P. van der Aalst |
PROVED: A Tool for Graph Representation and Analysis of Uncertain Event Data. |
Petri Nets |
2021 |
DBLP DOI BibTeX RDF |
|
| 58 | Ryszard Janicki, Natalia Sidorova, Thomas Chatain (eds.) |
Application and Theory of Petri Nets and Concurrency - 41st International Conference, PETRI NETS 2020, Paris, France, June 24-25, 2020, Proceedings |
Petri Nets |
2020 |
DBLP DOI BibTeX RDF |
|
| 58 | 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 2020 Satellite event of the 41st International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2020, virtual workshop, June 24, 2020. |
ATAED@Petri Nets |
2020 |
DBLP BibTeX RDF |
|
| 58 | Anna A. Kalenkova, Josep Carmona 0001, Artem Polyvyanyy, Marcello La Rosa |
Automated Repair of Process Models Using Non-local Constraints. |
Petri Nets |
2020 |
DBLP DOI BibTeX RDF |
|
| 58 | Yann Thierry-Mieg |
Structural Reductions Revisited. |
Petri Nets |
2020 |
DBLP DOI BibTeX RDF |
|
| 58 | Wil M. P. van der Aalst, Daniel Tacke genannt Unterberg, Vadim Denisov, Dirk Fahland |
Visualizing Token Flows Using Interactive Performance Spectra. |
Petri Nets |
2020 |
DBLP DOI BibTeX RDF |
|
| 58 | Rüdiger Valk |
Circular Traffic Queues and Petri's Cycloids. |
Petri Nets |
2020 |
DBLP DOI BibTeX RDF |
|
| 58 | Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis |
SNexpression: A Symbolic Calculator for Symmetric Net Expressions. |
Petri Nets |
2020 |
DBLP DOI BibTeX RDF |
|
| 58 | Guanjun Liu |
PSPACE-Completeness of the Soundness Problem of Safe Asymmetric-Choice Workflow Nets. |
Petri Nets |
2020 |
DBLP DOI BibTeX RDF |
|
| 58 | Shyam Lal Karra, Kim Guldstrand Larsen, Marco Muñiz, Jirí Srba |
On-the-Fly Synthesis for Strictly Alternating Games. |
Petri Nets |
2020 |
DBLP DOI BibTeX RDF |
|
| 58 | Pierre Bourhis, Loïc Hélouët, Zoltán Miklós 0001, Rituraj Singh |
Data Centric Workflows for Crowdsourcing. |
Petri Nets |
2020 |
DBLP DOI BibTeX RDF |
|
| 58 | Roberto Gorrieri |
A Study on Team Bisimulations for BPP Nets. |
Petri Nets |
2020 |
DBLP DOI BibTeX RDF |
|
| 58 | Isabella Kaufmann, Kim Guldstrand Larsen, Jirí Srba |
Synthesis for Multi-weighted Games with Branching-Time Winning Conditions. |
Petri Nets |
2020 |
DBLP DOI BibTeX RDF |
|
| 58 | Eike Best, Raymond R. Devillers, Evgeny Erofeev |
A New Property of Choice-Free Petri Net Systems. |
Petri Nets |
2020 |
DBLP DOI BibTeX RDF |
|
| 58 | Jan Martijn E. M. van der Werf, Artem Polyvyanyy |
The Information Systems Modeling Suite - Modeling the Interplay Between Information and Processes. |
Petri Nets |
2020 |
DBLP DOI BibTeX RDF |
|
| 58 | Roberto Gorrieri |
Interleaving vs True Concurrency: Some Instructive Security Examples. |
Petri Nets |
2020 |
DBLP DOI BibTeX RDF |
|
| 58 | Vadim Denisov, Dirk Fahland, Wil M. P. van der Aalst |
Repairing Event Logs with Missing Events to Support Performance Analysis of Systems with Shared Resources. |
Petri Nets |
2020 |
DBLP DOI BibTeX RDF |
|
| 58 | Lisa Petrak, Robert Lorenz 0001 |
Detecting Infrequent Behavior in Event Logs using Statistical Inference. |
ATAED@Petri Nets |
2020 |
DBLP BibTeX RDF |
|
| 58 | Mitchel Brunings, Dirk Fahland, Boudewijn F. van Dongen |
Defining meaningful Local Process Models. |
ATAED@Petri Nets |
2020 |
DBLP BibTeX RDF |
|
| 58 | Lisa Luise Mannel, Robin Bergenthum, Wil M. P. van der Aalst |
Removing Implicit Places Using Regions for Process Discovery. |
ATAED@Petri Nets |
2020 |
DBLP BibTeX RDF |
|
| 58 | Pieter M. Kwantes, Jetty Kleijn |
On Discovering Distributed Process Models the case of asynchronous communication. |
ATAED@Petri Nets |
2020 |
DBLP BibTeX RDF |
|
| 58 | Susanna Donatelli, Stefan Haar (eds.) |
Application and Theory of Petri Nets and Concurrency - 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23-28, 2019, Proceedings |
Petri Nets |
2019 |
DBLP DOI BibTeX RDF |
|
| 58 | Dirk Fahland |
Describing Behavior of Processes with Many-to-Many Interactions. |
Petri Nets |
2019 |
DBLP DOI BibTeX RDF |
|
| 58 | Jan Henrik Röwekamp, Daniel Moldt |
RenewKube: Reference Net Simulation Scaling with Renew and Kubernetes. |
Petri Nets |
2019 |
DBLP DOI BibTeX RDF |
|
| 58 | Shruti Biswal, Andrew S. Miner |
Improving Saturation Efficiency with Implicit Relations. |
Petri Nets |
2019 |
DBLP DOI BibTeX RDF |
|
| 58 | Ryszard Janicki |
On Interval Semantics of Inhibitor and Activator Nets. |
Petri Nets |
2019 |
DBLP DOI BibTeX RDF |
|
| 58 | Felix Freiberger, Holger Hermanns |
Concurrent Programming from pseuCo to Petri. |
Petri Nets |
2019 |
DBLP DOI BibTeX RDF |
|
| 58 | Raymond R. Devillers |
Articulation of Transition Systems and Its Application to Petri Net Synthesis. |
Petri Nets |
2019 |
DBLP DOI BibTeX RDF |
|
| 58 | Lisa Luise Mannel, Wil M. P. van der Aalst |
Finding Complex Process-Structures by Exploiting the Token-Game. |
Petri Nets |
2019 |
DBLP DOI BibTeX RDF |
|
| 58 | Matteo Camilli, Lorenzo Capra, Carlo Bellettini |
PNemu: An Extensible Modeling Library for Adaptable Distributed Systems. |
Petri Nets |
2019 |
DBLP DOI BibTeX RDF |
|
| 58 | Olivier Bodini, Matthieu Dien, Antoine Genitrini, Frédéric Peschanski |
The Combinatorics of Barrier Synchronization. |
Petri Nets |
2019 |
DBLP DOI BibTeX RDF |
|
| 58 | Torsten Liebke, Karsten Wolf |
Taking Some Burden Off an Explicit CTL Model Checker. |
Petri Nets |
2019 |
DBLP DOI BibTeX RDF |
|
| 58 | Jan Martijn E. M. van der Werf, Lucas Steehouwer |
CoRA: An Online Intelligent Tutoring System to Practice Coverability Graph Construction. |
Petri Nets |
2019 |
DBLP DOI BibTeX RDF |
|
| 58 | Mathilde Boltenhagen, Thomas Chatain, Josep Carmona 0001 |
Generalized Alignment-Based Trace Clustering of Process Behavior. |
Petri Nets |
2019 |
DBLP DOI BibTeX RDF |
|
| 58 | Giulio Masetti, Leonardo Robol, Silvano Chiaradonna, Felicita Di Giandomenico |
Stochastic Evaluation of Large Interdependent Composed Models Through Kronecker Algebra and Exponential Sums. |
Petri Nets |
2019 |
DBLP DOI BibTeX RDF |
|
| 58 | 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 2018 Satellite event of the conferences: 39th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2018 and 18th International Conference on Application of Concurrency to System Design ACSD 2018, Bratislava, Slovakia, June 25, 2018. |
ATAED@Petri Nets/ACSD |
2018 |
DBLP BibTeX RDF |
|
| 58 | Victor Khomenko, Olivier H. Roux (eds.) |
Application and Theory of Petri Nets and Concurrency - 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings |
Petri Nets |
2018 |
DBLP DOI BibTeX RDF |
|
| 58 | Elvio Gilberto Amparore, Susanna Donatelli, Marco Beccuti, Giulio Garbi, Andrew S. Miner |
Decision Diagrams for Petri Nets: A Comparison of Variable Ordering Algorithms. |
Trans. Petri Nets Other Model. Concurr. |
2018 |
DBLP DOI BibTeX RDF |
|
| 58 | Anna Gogolinska, Lukasz Mikulski, Marcin Piatkowski |
GPU Computations and Memory Access Model Based on Petri Nets. |
Trans. Petri Nets Other Model. Concurr. |
2018 |
DBLP DOI BibTeX RDF |
|
| 58 | 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 |
|
| 58 | Georgy Lukyanov, Andrey Mokhov |
Concurrency Oracles for Free. |
ATAED@Petri Nets/ACSD |
2018 |
DBLP BibTeX RDF |
|
| 58 | Wil M. P. van der Aalst |
Relating Process Models and Event Logs - 21 Conformance Propositions. |
ATAED@Petri Nets/ACSD |
2018 |
DBLP BibTeX RDF |
|
| 58 | Raymond R. Devillers, Evgeny Erofeev, Thomas Hujsa |
Synthesis of Weighted Marked Graphs from Constrained Labelled Transition Systems. |
ATAED@Petri Nets/ACSD |
2018 |
DBLP BibTeX RDF |
|
| 58 | Luca Bernardinello, Carlo Ferigato, Lucia Pomello, Adrián Puerto Aubel |
On the Decomposition of Regional Events in Elementary Systems. |
ATAED@Petri Nets/ACSD |
2018 |
DBLP BibTeX RDF |
|
| 58 | Pieter M. Kwantes, Jetty Kleijn |
On the Synthesis of Industry Level Process Models from Enterprise Level Process Models. |
ATAED@Petri Nets/ACSD |
2018 |
DBLP BibTeX RDF |
|
| 58 | Eike Best, Nataliya Gribovskaya, Irina B. Virbitskaite |
From Event-Oriented Models to Transition Systems. |
Petri Nets |
2018 |
DBLP DOI BibTeX RDF |
|
| 58 | Rüdiger Valk |
On the Structure of Cycloids Introduced by Carl Adam Petri. |
Petri Nets |
2018 |
DBLP DOI BibTeX RDF |
|
| 58 | Clément Bertrand, Hanna Klaudel, Matthieu Latapy, Frédéric Peschanski |
Pattern Matching in Link Streams: A Token-Based Approach. |
Petri Nets |
2018 |
DBLP DOI BibTeX RDF |
|
| 58 | Ekkart Kindler |
ePNK Applications and Annotations: A Simulator for YAWL Nets. |
Petri Nets |
2018 |
DBLP DOI BibTeX RDF |
|
| 58 | Ryszard Janicki |
Modeling Operational Semantics with Interval Orders Represented by Sequences of Antichains. |
Petri Nets |
2018 |
DBLP DOI BibTeX RDF |
|
| 58 | Ronny Tredup, Christian Rosenke, Karsten Wolf |
Elementary Net Synthesis Remains NP-Complete Even for Extremely Simple Inputs. |
Petri Nets |
2018 |
DBLP DOI BibTeX RDF |
|
| 58 | Karsten Wolf |
Petri Net Synthesis with Union/Find. |
Petri Nets |
2018 |
DBLP DOI BibTeX RDF |
|
| 58 | Karsten Wolf |
Petri Net Model Checking with LoLA 2. |
Petri Nets |
2018 |
DBLP DOI BibTeX RDF |
|
| 58 | Uli Schlachter, Harro Wimmel |
A Geometric Characterisation of Event/State Separation. |
Petri Nets |
2018 |
DBLP DOI BibTeX RDF |
|
| 58 | Benoît Barbot, Béatrice Bérard, Yann Duplouy, Serge Haddad |
Integrating Simulink Models into the Model Checker Cosmos. |
Petri Nets |
2018 |
DBLP DOI BibTeX RDF |
|
| 58 | Carlos Eduardo Alves da Silva, José Jean-Paul Zanlucchi de Souza Tavares, Marco Vinícius Muniz Ferreira |
Arduino Library Developed for Petri Net Inserted into RFID Database and Variants. |
Petri Nets |
2018 |
DBLP DOI BibTeX RDF |
|
| 58 | Sebastian Junges, Joost-Pieter Katoen, Mariëlle Stoelinga, Matthias Volk 0001 |
One Net Fits All - A Unifying Semantics of Dynamic Fault Trees Using GSPNs. |
Petri Nets |
2018 |
DBLP DOI BibTeX RDF |
|
| 58 | Didier Buchs, Stefan Klikovits, Alban Linard, Romain Mencattini, Dimitri Racordon |
A Model Checker Collection for the Model Checking Contest Using Docker and Machine Learning. |
Petri Nets |
2018 |
DBLP DOI BibTeX RDF |
|
| 58 | David de Frutos-Escrig, Maciej Koutny, Lukasz Mikulski |
An Efficient Characterization of Petri Net Solvable Binary Words. |
Petri Nets |
2018 |
DBLP DOI BibTeX RDF |
|
| 58 | Fabrice Kordon, Yann Thierry-Mieg |
Self-adaptive Model Checking, the Next Step? |
Petri Nets |
2018 |
DBLP DOI BibTeX RDF |
|
| 58 | Raymond R. Devillers, Uli Schlachter |
Factorisation of Petri Net Solvable Transition Systems. |
Petri Nets |
2018 |
DBLP DOI BibTeX RDF |
|
| 58 | Petr Jancar, Jérôme Leroux, Grégoire Sutre |
Co-finiteness and Co-emptiness of Reachability Sets in Vector Addition Systems with States. |
Petri Nets |
2018 |
DBLP DOI BibTeX RDF |
|
| 58 | 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 |
|
| 58 | 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 2017 Satellite event of the conferences: 38th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2017 and 17th International Conference on Application of Concurrency to System Design ACSD 2017, Zaragoza, Spain, June 26-27, 2017. |
ATAED@Petri Nets/ACSD |
2017 |
DBLP BibTeX RDF |
|
| 58 | Wil M. P. van der Aalst, Eike Best (eds.) |
Application and Theory of Petri Nets and Concurrency - 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25-30, 2017, Proceedings |
Petri Nets |
2017 |
DBLP DOI BibTeX RDF |
|
| 58 | Kamila Barylska, Eike Best, Uli Schlachter, Valentin Spreckels |
Properties of Plain, Pure, and Safe Petri Nets. |
Trans. Petri Nets Other Model. Concurr. |
2017 |
DBLP DOI BibTeX RDF |
|
| 58 | Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski |
On Synthesising Step Alphabets for Acyclic Invariant Structures. |
ATAED@Petri Nets/ACSD |
2017 |
DBLP BibTeX RDF |
|
| 58 | 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 |
|
| 58 | Robin Bergenthum, Benjamin Meis |
Mining with Eve - Process Discovery and Event Structures. |
ATAED@Petri Nets/ACSD |
2017 |
DBLP BibTeX RDF |
|
| 58 | Luca Bernardinello, Carlo Ferigato, Lucia Pomello, Adrián Puerto Aubel |
On Stability of Regional Orthomodular Posets. |
ATAED@Petri Nets/ACSD |
2017 |
DBLP BibTeX RDF |
|
| 58 | 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 |
|
| 58 | Benjamin Dalmas, Niek Tax, Sylvie Norre |
Heuristics for High-Utility Local Process Model Mining. |
ATAED@Petri Nets/ACSD |
2017 |
DBLP BibTeX RDF |
|
| 58 | Sebastiaan J. van Zelst, Alfredo Bolt, Boudewijn F. van Dongen |
Tuning Alignment Computation: An Experimental Evaluation. |
ATAED@Petri Nets/ACSD |
2017 |
DBLP BibTeX RDF |
|
| 58 | 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 |
|
| 58 | Junxian Liu, Lin Liu 0003, Tao Chen 0013 |
Evaluating and Improving SIP Non-INVITE Transaction to Alleviate the Losing Race Problem. |
Petri Nets |
2017 |
DBLP DOI BibTeX RDF |
|
| 58 | Marisa Llorens, Javier Oliver 0001, Josep Silva, Salvador Tamarit |
An Integrated Environment for Petri Net Slicing. |
Petri Nets |
2017 |
DBLP DOI BibTeX RDF |
|
| 58 | Karsten Wolf |
Model Checking Concurrency and Causality. |
Petri Nets |
2017 |
DBLP DOI BibTeX RDF |
|
| 58 | Andreas Engelbredt Dalsgaard, Søren Enevoldsen, Peter Fogh, Lasse S. Jensen, Tobias Skovgaard Jepsen, Isabella Kaufmann, Kim G. Larsen, Søren M. Nielsen, Mads Chr. Olesen, Samuel Pastva, Jirí Srba |
Extended Dependency Graphs and Efficient Distributed Fixed-Point Computation. |
Petri Nets |
2017 |
DBLP DOI BibTeX RDF |
|
| 58 | Michael Köhler-Bußmeier |
Restricting Hornets to Support Self-adaptive Systems. |
Petri Nets |
2017 |
DBLP DOI BibTeX RDF |
|
| 58 | Christos G. Cassandras |
Complexity Made Simple (at a Small Price). |
Petri Nets |
2017 |
DBLP DOI BibTeX RDF |
|
| 58 | Luca Bernardinello, Görkem Kilinç 0001, Lucia Pomello |
Weak Observable Liveness and Infinite Games on Finite Graphs. |
Petri Nets |
2017 |
DBLP DOI BibTeX RDF |
|
| 58 | Xiangdong Huang, Jianmin Wang 0001, Jialin Qiao, Liangfan Zheng, Jinrui Zhang, Raymond K. Wong 0001 |
Performance and Replica Consistency Simulation for Quorum-Based NoSQL System Cassandra. |
Petri Nets |
2017 |
DBLP DOI BibTeX RDF |
|
| 58 | Elvio Gilberto Amparore, Susanna Donatelli, Elisa Landini |
Modelling and Evaluation of a Control Room Application. |
Petri Nets |
2017 |
DBLP DOI BibTeX RDF |
|
| 58 | Josep Carmona 0001 |
The Alignment of Formal, Structured and Unstructured Process Descriptions. |
Petri Nets |
2017 |
DBLP DOI BibTeX RDF |
|
| 58 | 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 |
|
| 58 | Fabrice Kordon, Daniel Moldt (eds.) |
Application and Theory of Petri Nets and Concurrency - 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings |
Petri Nets |
2016 |
DBLP DOI BibTeX RDF |
|
| 58 | Luca Bernardinello, Görkem Kilinç 0001, Lucia Pomello |
Non-interference Notions Based on Reveals and Excludes Relations for Petri Nets. |
Trans. Petri Nets Other Model. Concurr. |
2016 |
DBLP DOI BibTeX RDF |
|
| 58 | Alexandre Hamez |
A Symbolic Model Checker for Petri Nets: pnmc. |
Trans. Petri Nets Other Model. Concurr. |
2016 |
DBLP DOI BibTeX RDF |
|
| 58 | Kent Inge Fagerland Simonsen, Lars Michael Kristensen, Ekkart Kindler |
Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification. |
Trans. Petri Nets Other Model. Concurr. |
2016 |
DBLP DOI BibTeX RDF |
|
| 58 | Jörg Desel, Javier Esparza |
Negotiations and Petri Nets. |
Trans. Petri Nets Other Model. Concurr. |
2016 |
DBLP DOI BibTeX RDF |
|
| 58 | 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 |
|
| 58 | Benjamin Meis, Robin Bergenthum, Jörg Desel |
Synthesis of Elementary Net Systems with Final Configurations. |
ATAED@Petri Nets/ACSD |
2016 |
DBLP BibTeX RDF |
|
| 58 | Pieter De Koninck, Jochen De Weerdt |
Determining the Number of Trace Clusters: a Stability-based Approach. |
ATAED@Petri Nets/ACSD |
2016 |
DBLP BibTeX RDF |
|
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license