Peter Haahr Taankvist

Publication Activity (10 Years)

Years Active: 2022-2022
Publications (10 Years): 2

Top Topics

Computationally Expensive

Benchmark Datasets

Top Venues

Fundam. Informaticae

Publications

Alexander Bilgram, Peter Gjøl Jensen, Thomas Pedersen, Jirí Srba, Peter Haahr Taankvist
Methods for Efficient Unfolding of Colored Petri Nets. Fundam. Informaticae 189 (3-4) (2022)
Alexander Bilgram, Peter Gjøl Jensen, Thomas Pedersen, Jirí Srba, Peter Haahr Taankvist
Methods for Efficient Unfolding of Colored Petri Nets. CoRR (2022)