Trans. Petri Nets Other Model. Concurr.

Keyphrases

Publications

volume 17, 2023

Aishah Ahmed, Marta Pietkiewicz-Koutny
Strategies for Minimising the Synthesised ENL-Systems. Trans. Petri Nets Other Model. Concurr. 17 (2023)
Bahareh Fatemi, Fazle Rabbi, Wendy MacCaull
A Validated Learning Approach to Healthcare Process Analysis Through Contextual and Temporal Filtering. Trans. Petri Nets Other Model. Concurr. 17 (2023)
Ruben Dobler Strand, Lars Michael Kristensen, Laure Petrucci
Development and Verification of a Microservice Architecture for a Fire Risk Notification System. Trans. Petri Nets Other Model. Concurr. 17 (2023)
Federica Adobbati, Luca Bernardinello, Görkem Kilinç Soylu, Lucia Pomello
Computing a Parametric Reveals Relation For Bounded Equal-Conflict Petri Nets. Trans. Petri Nets Other Model. Concurr. 17 (2023)
Michael Köhler-Bußmeier, Heiko Rölke
Analysing Adaption Processes of Hornets. Trans. Petri Nets Other Model. Concurr. 17 (2023)
Philipp Bende, Olga Vovk, David Caraveo, Ludwig Pechmann, Martin Leucker
A Case Study on Data Protection for a Cloud- and AI-Based Homecare Medical Device. Trans. Petri Nets Other Model. Concurr. 17 (2023)
Anirban Bhattacharyya, Maciej Koutny
Confusion-Tolerant Computation of Probability in Acyclic Nets. Trans. Petri Nets Other Model. Concurr. 17 (2023)
Federica Adobbati, Luca Bernardinello, Lucia Pomello, Riccardo Stramare
Implementable Strategies for a Two-Player Asynchronous Game on Petri Nets. Trans. Petri Nets Other Model. Concurr. 17 (2023)
Johan Arcile, Raymond R. Devillers, Hanna Klaudel
An Efficient State Space Construction for a Class of Timed Automata. Trans. Petri Nets Other Model. Concurr. 17 (2023)
Nicolas Amat, Pierre Bouvier, Hubert Garavel
A Toolchain to Compute Concurrent Places of Petri Nets. Trans. Petri Nets Other Model. Concurr. 17 (2023)
Hanin Abdulrahman, Jason Steggles
Compositional Techniques for Boolean Networks and Attractor Analysis. Trans. Petri Nets Other Model. Concurr. 17 (2023)

volume 16, 2022

volume 15, 2021

volume 14, 2019

volume 13, 2018

volume 12, 2017