Efficient Unfolding of Coloured Petri Nets Using Interval Decision Diagrams
Published: 30 June 2020
Lecture Notes in Computer Science pp 324-344; doi:10.1007/978-3-030-51831-8_16
The publisher has not yet granted permission to display this abstract.
Keywords: Coloured Petri Nets / unfolding / Interval Decision Diagrams / Symbolic data structures
Scifeed alert for new publicationsNever miss any articles matching your research from any publisher
- Get alerts for new papers matching your research
- Find out the new papers from selected authors
- Updated daily for 49'000+ journals and 6000+ publishers
- Define your Scifeed now
Click here to see the statistics on "Lecture Notes in Computer Science" .