Communication as unification in the Petri Box Calculus

von Klaudel, Hanna
Veröffentlicht 1995

General synchronization operator in the Petri Box Calculus

von Fra̧czak, Wojciech
Veröffentlicht 1993

Application of general refinement to the semantics of a parallel programming language

von Klaudel, Hanna
Veröffentlicht 1998

M-expressions : a high level process algebra with an application to a parallel programming language

von Klaudel, Hanna
Veröffentlicht 1997

Filtering Distributed Information to Build a Plausible Scene for Autonomous and Connected Vehicles

von Hutzler, Guillaume
Veröffentlicht in International Conference on Distributed Computing and Artificial Intelligence (17. : 2020 : Online) Distributed Computing and Artificial Intelligence, 17th International Conference (2021)

Layered Memory Automata: Recognizers for Quasi-Regular Languages with Unbounded Memory

von Bertrand, Clement
Veröffentlicht in International Conference on Application and Theory of Petri Nets and Concurrency (43. : 2022 : Bergen, Norwegen) Application and theory of petri nets and concurrency (2022)

VERIFCAR: A FRAMEWORK FOR MODELING AND MODEL CHECKING COMMUNICATING AUTONOMOUS VEHICLES

von Arcile, Johan
Veröffentlicht in AAMAS (19. : 2020 : Online) International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2020) ; Volume 3 of 3 (2021)

Factorization of the State Space Construction for Cyclic Systems with Data

von Arcile, Johan
Veröffentlicht in VECoS (16. : 2023 : Marrakesch) Verification and evaluation of computer and communication systems (2024)

Consistent equivalence notion for a class of high level Petri nets

von Klaudel, Hanna
Veröffentlicht 1996

Analysis of Discrete Models for Ecosystem Ecology

von Giusto, Cinzia Di
Veröffentlicht in BIOSTEC (12. : 2019 : Prag) Biomedical engineering systems and technologies (2020)