A. Johannes Pretorius

Loading Google Thumbnails...
2008
1Assessing State Spaces Using Petri-Net Synthesis and Attribute-Based Visualization. H. M. W. (Eric) Verbeek, A. Johannes Pretorius, Wil M. P. van der Aalst, Jarke J. van Wijk. T. Petri Nets and Other Models of Concurrency (1): 152-171 (2008). Web SearchBibTeXDownload
from DBLP and Google Scholar
Developed by the Database Group at the University of Wisconsin and Yahoo! Research