New Search

Advanced search
Export article

Efficient Unfolding of Coloured Petri Nets Using Interval Decision Diagrams

Martin Schwarick, Christian Rohr, Fei Liu, George Assaf, Jacek Chodak, Sciprofile linkMonika Heiner
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 publications

Never 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

Share this article

Click here to see the statistics on "Lecture Notes in Computer Science" .
References (2)
    Back to Top Top