Lots of the functionality of the parser and unfolder is dupplicated in the unfoldTACPN library.
Ideally we should migrate the key functionality that can be shared of parsing into unfoldTACPN to create a unified library for parsing both queries and petri-nets.
The parsingspeed of unfoldTACPN needs to be studied to make sure that we don't regress on performance on very large petri-nets.
Lots of the functionality of the parser and unfolder is dupplicated in the unfoldTACPN library.
Ideally we should migrate the key functionality that can be shared of parsing into unfoldTACPN to create a unified library for parsing both queries and petri-nets.
The parsingspeed of unfoldTACPN needs to be studied to make sure that we don't regress on performance on very large petri-nets.