%0 Journal Article %1 journals/topnoc/VerbeekPAW08 %A Verbeek, Henricus M. W. (Eric) %A Pretorius, A. Johannes %A van der Aalst, Wil M. P. %A van Wijk, Jarke J. %B Trans. Petri Nets and Other Models of Concurrency %D 2008 %E Jensen, Kurt %E van der Aalst, Wil M. P. %E Billington, Jonathan %I Springer %J Trans. Petri Nets Other Model. Concurr. %K dblp %P 152-171 %T Assessing State Spaces Using Petri-Net Synthesis and Attribute-Based Visualization. %U http://dblp.uni-trier.de/db/journals/topnoc/topnoc1.html#VerbeekPAW08 %V 1 %@ 978-3-540-89286-1

@article{journals/topnoc/VerbeekPAW08, added-at = {2020-03-13T00:00:00.000+0100}, author = {Verbeek, Henricus M. W. (Eric) and Pretorius, A. Johannes and van der Aalst, Wil M. P. and van Wijk, Jarke J.}, biburl = {https://www.bibsonomy.org/bibtex/292b2b9df385c5a616500472617433c76/dblp}, booktitle = {Trans. Petri Nets and Other Models of Concurrency}, crossref = {journals/topnoc/2008-1}, editor = {Jensen, Kurt and van der Aalst, Wil M. P. and Billington, Jonathan}, ee = {https://doi.org/10.1007/978-3-540-89287-8_10}, interhash = {148740589cdd817d59db2a2c2160648a}, intrahash = {92b2b9df385c5a616500472617433c76}, isbn = {978-3-540-89286-1}, journal = {Trans. Petri Nets Other Model. Concurr.}, keywords = {dblp}, pages = {152-171}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-03-14T12:18:14.000+0100}, title = {Assessing State Spaces Using Petri-Net Synthesis and Attribute-Based Visualization.}, url = {http://dblp.uni-trier.de/db/journals/topnoc/topnoc1.html#VerbeekPAW08}, volume = 1, year = 2008 }