%0 Journal Article %1 journals/eis/WangDY15 %A Wang, Jing %A Du, Yuyue %A Yu, ShuXia %D 2015 %J Enterprise IS %K dblp %N 8 %P 900-919 %T Coloured Logic Petri Nets and analysis of their reachable trees. %U http://dblp.uni-trier.de/db/journals/eis/eis9.html#WangDY15 %V 9

@article{journals/eis/WangDY15, added-at = {2018-12-05T00:00:00.000+0100}, author = {Wang, Jing and Du, Yuyue and Yu, ShuXia}, biburl = {https://www.bibsonomy.org/bibtex/2820329776110bab4ac0f35be3639f6ab/dblp}, ee = {https://doi.org/10.1080/17517575.2013.879924}, interhash = {21b38e7e4a0f14da158bb0fab22a22a8}, intrahash = {820329776110bab4ac0f35be3639f6ab}, journal = {Enterprise IS}, keywords = {dblp}, number = 8, pages = {900-919}, timestamp = {2018-12-06T11:37:33.000+0100}, title = {Coloured Logic Petri Nets and analysis of their reachable trees.}, url = {http://dblp.uni-trier.de/db/journals/eis/eis9.html#WangDY15}, volume = 9, year = 2015 }