Methods for Efficient Unfolding of Colored Petri Nets
Bilgram, Alexander, Jensen, Peter G., Pedersen, Thomas, Srba, Jiří, Taankvist, Peter H.
Published in Fundamenta informaticae (26.10.2023)
Published in Fundamenta informaticae (26.10.2023)
Get full text
Journal Article
Online and Proactive Vehicle Rerouting with Uppaal Stratego
Bilgram, Alexander, Ernstsen, Emil, Greve, Peter, Lahrmann, Harry, Larsen, Kim G., Muñiz, Marco, Taankvist, Peter, Pedersen, Thomas
Published in Transportation research record (01.11.2021)
Published in Transportation research record (01.11.2021)
Get full text
Journal Article
An investigation of safe and near-optimal strategies for prevention of Covid-19 exposure using stochastic hybrid models and machine learning
Bilgram, Alexander, Jensen, Peter G., Jørgensen, Kenneth Y., Larsen, Kim G., Mikučionis, Marius, Muñiz, Marco, Poulsen, Danny B., Taankvist, Peter
Published in Decision analytics journal (01.12.2022)
Published in Decision analytics journal (01.12.2022)
Get full text
Journal Article
Improvements in Unfolding of Colored Petri Nets
Bilgram, Alexander, Jensen, Peter G., Pedersen, Thomas, Srba, Jiří, Taankvist, Peter H.
Published in Reachability Problems (2021)
Published in Reachability Problems (2021)
Get full text
Book Chapter
Methods for Efficient Unfolding of Colored Petri Nets
Bilgram, Alexander, Jensen, Peter G, Pedersen, Thomas, Srba, Jiri, Taankvist, Peter H
Year of Publication 12.04.2022
Year of Publication 12.04.2022
Get full text
Journal Article
Methods for Efficient Unfolding of Colored Petri Nets
Bilgram, Alexander, Jensen, Peter G, Pedersen, Thomas, Srba, Jiri, Taankvist, Peter H
Published in arXiv.org (11.10.2023)
Get full text
Published in arXiv.org (11.10.2023)
Paper