%0 Journal Article %1 188699 %A Esparza, Javier %C Duluth, MN, USA %D 1994 %I Academic Press, Inc. %J Inf. Comput. %K free-choice-nets petri-nets refinement %N 1 %P 50--87 %R http://dx.doi.org/10.1006/inco.1994.1080 %T Reduction and synthesis of live and bounded free choice Petri nets %V 114

@article{188699, added-at = {2009-11-01T11:59:15.000+0100}, address = {Duluth, MN, USA}, author = {Esparza, Javier}, biburl = {https://www.bibsonomy.org/bibtex/28b270f6c826f1551743641d47865204d/hidders}, doi = {http://dx.doi.org/10.1006/inco.1994.1080}, interhash = {9f0ad93cee538a749dcbfacd2bdcf58b}, intrahash = {8b270f6c826f1551743641d47865204d}, issn = {0890-5401}, journal = {Inf. Comput.}, keywords = {free-choice-nets petri-nets refinement}, number = 1, pages = {50--87}, publisher = {Academic Press, Inc.}, timestamp = {2009-11-01T11:59:15.000+0100}, title = {Reduction and synthesis of live and bounded free choice Petri nets}, volume = 114, year = 1994 }