%0 Journal Article %1 10.1109/CSIE.2009.831 %A Peng, Zhang %A Mei, Qi %A Xikui, Liu %C Los Alamitos, CA, USA %D 2009 %I IEEE Computer Society %J Computer Science and Information Engineering, World Congress on %K parallel-programming petri-nets refinement %P 330-333 %R http://doi.ieeecomputersociety.org/10.1109/CSIE.2009.831 %T The Behavior Properties of Refinement of Petri Nets and Application in Parallel Programming %V 3 %@ 978-0-7695-3507-4

@article{10.1109/CSIE.2009.831, added-at = {2009-11-04T14:28:01.000+0100}, address = {Los Alamitos, CA, USA}, author = {Peng, Zhang and Mei, Qi and Xikui, Liu}, biburl = {https://www.bibsonomy.org/bibtex/21f7b639a5e491139cd49d2355741f818/hidders}, doi = {http://doi.ieeecomputersociety.org/10.1109/CSIE.2009.831}, interhash = {323c6d641cb808a5a0b8d5ed3ca716dc}, intrahash = {1f7b639a5e491139cd49d2355741f818}, isbn = {978-0-7695-3507-4}, journal = {Computer Science and Information Engineering, World Congress on}, keywords = {parallel-programming petri-nets refinement}, pages = {330-333}, publisher = {IEEE Computer Society}, timestamp = {2009-11-04T14:28:01.000+0100}, title = {The Behavior Properties of Refinement of Petri Nets and Application in Parallel Programming}, volume = 3, year = 2009 }