Reconciling qualitative, abstract, and scalable modeling of biological networks von Paulevé, Loïc, Kolčák, Juri, Chatain, Thomas, Haar, Stefan

Volltext

Publisher Correction: Reconciling qualitative, abstract, and scalable modeling of biological networks von Paulevé, Loïc, Kolčák, Juri, Chatain, Thomas, Haar, Stefan

Volltext

Boolean Networks: Beyond Generalized Asynchronicity von Chatain, Thomas, Haar, Stefan, Paulevé, Loïc

Volltext

Characterization of Reachable Attractors Using Petri Net Unfoldings von Chatain, Thomas, Haar, Stefan, Jezequel, Loïg, Paulevé, Loïc, Schwoon, Stefan

Volltext

Timed alignments with mixed moves von Rino, Neha, Chatain, Thomas

Volltext

Application and Theory of Petri Nets and Concurrency: 41st International Conference, PETRI NETS 2020, Paris, France, June 24-25, 2020, Proceedings von Janicki, Ryszard, Sidorova, Natalia, Chatain, Thomas

Volltext

Non-atomic Transition Firing in Contextual Nets von Chatain, Thomas, Haar, Stefan, Koutny, Maciej, Schwoon, Stefan

Volltext

Model-based trace variant analysis of event logs von Boltenhagen, Mathilde, Chatain, Thomas, Carmona, Josep

Volltext

Anti-alignments—Measuring the precision of process models and event logs von Chatain, Thomas, Boltenhagen, Mathilde, Carmona, Josep

Volltext

Avoiding Shared Clocks in Networks of Timed Automata von Balaguer, Sandie, Chatain, Thomas

Volltext

Optimized SAT encoding of conformance checking artefacts von Boltenhagen, Mathilde, Chatain, Thomas, Carmona, Josep

Volltext

Timed Alignments with Mixed Moves von Rino, Neha, Chatain, Thomas

Volltext

Pomset bisimulation and unfolding for reset Petri nets von Chatain, Thomas, Comlan, Maurice, Delfieu, David, Jezequel, Loïg, Roux, Olivier-Henri

Volltext

Application and Theory of Petri Nets and Concurrency: 41st International Conference, PETRI NETS 2020, Paris, France, June 24–25, 2020, Proceedings

Volltext

Concurrency in Boolean networks von Chatain, Thomas, Haar, Stefan, Kolčák, Juraj, Paulevé, Loïc, Thakkar, Aalok

Volltext

A Unified Approach for Measuring Precision and Generalization Based on Anti-alignments von van Dongen, B. F., Carmona, J., Chatain, T.

Volltext

Complete Finite Prefixes of Symbolic Unfoldings of Safe Time Petri Nets von Chatain, Thomas, Jard, Claude

Volltext

Aligning Modeled and Observed Behavior: A Compromise Between Computation Complexity and Quality von van Dongen, Boudewijn, Carmona, Josep, Chatain, Thomas, Taymouri, Farbod

Volltext

A Discounted Cost Function for Fast Alignments of Business Processes von Boltenhagen, Mathilde, Chatain, Thomas, Carmona, Josep

Volltext

The Information Systems Modeling Suite: Modeling the Interplay Between Information and Processes von van der Werf, Jan Martijn E. M., Polyvyanyy, Artem

Volltext