Follow
Thomas Pedersen
Thomas Pedersen
Master of Computer science, Aalborg University
Verified email at stofanet.dk
Title
Cited by
Cited by
Year
Online and proactive vehicle rerouting with uppaal stratego
A Bilgram, E Ernstsen, P Greve, H Lahrmann, KG Larsen, M Muniz, ...
Transportation Research Record 2675 (11), 13-22, 2021
62021
Improvements in unfolding of colored petri nets
A Bilgram, PG Jensen, T Pedersen, J Srba, PH Taankvist
Reachability Problems: 15th International Conference, RP 2021, Liverpool, UK …, 2021
62021
HMKAAL: Formal Verification and Detection of Non-determinism and Data Races in Industrial Systems
A Bilgram, E Ernstsen, PB Greve, PH Taankvist, T Pedersen
Unfolding of Colored Petri Nets by Color Quotienting and Approximation
A Bilgram, T Pedersen, P Taankvist
The system can't perform the operation now. Try again later.
Articles 1–4