Assessing State Spaces Using Petri-Net Synthesis and Attribute-Based Visualization

Verbeek, H. M. W.; Pretorius, A. J.; van der Aalst, Wil M. P.; van Wijk, J.

Contribution to a book, Contribution to a conference proceedings

In: Transactions on Petri Nets and Other Models of Concurrency I. - 5100
Page(s)/Article-Nr.: 152-171


  • Department of Computer Science [120000]
  • Chair of Computer Science 9 (Process and Data Science) [122510]