Synthesis of Weighted Marked Graphs from Constrained Labelled Transition Systems: A Geometric Approach
Gespeichert in:
| Veröffentlicht in: | International Conference on Application and Theory of Petri Nets and Concurrency (39. : 2018 : Bratislava) Transactions on Petri Nets and Other Models of Concurrency XIV |
|---|---|
| 1. Verfasser: | |
| Weitere Verfasser: | , |
| Format: | UnknownFormat |
| Sprache: | eng |
| Veröffentlicht: |
2020
|
| Schlagworte: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Tag hinzufügen | Titel | Jahr | Verfasser |
|---|---|---|
| Parametric Verification: An Introduction | 2020 | André, Etienne |
| How Petri Net Theory Serves Petri Net Model Checking: A Survey | 2020 | Wolf, Karsten |
| Integrated Simulation of Domain-Specific Modeling Languages with Petri Net-Based Transformational Semantics | 2020 | Mosteller, David |
| Formal Modelling and Incremental Verification of the MQTT IoT Protocol. | 2020 | Rodriguez, Alejandro |
| Evaluating Conformance Measures in Process Mining Using Conformance Propositions | 2020 | Syring, Anja F. |
| Synthesis of Weighted Marked Graphs from Constrained Labelled Transition Systems: A Geometric Approach | 2020 | Devillers, Raymond |
| A Tour in Process Mining: From Practice to Algorithmic Challenges | 2020 | Aalst, Wil van der |
| Relabelling LTS for Petri Net Synthesis via Solving Separation Problems | 2020 | Schlachter, Uli |
| Kleene Theorems for Free Choice Automata over Distributed Alphabets | 2020 | Phawade, Ramchandra |