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.

(2008) [Buchbeitrag, Beitrag zu einem Tagungsband]

Transactions on Petri Nets and Other Models of Concurrency I. - 5100
Seite(n): 152-171

Identifikationsnummern

  • REPORT NUMBER: RWTH-CONV-220933