| index | Title |
| 1 | Verification of workflow nets with transition conditions Author(s):Zhao-xia Wang, Jian-min Wang, Xiao... Clicked:8859 Download:4134 Cited:1 <Full Text> Journal of Zhejiang University Science C 2012 Vol.13 No.7 P.483-509 DOI:10.1631/jzus.C1100364 |
| 2 | Informal and formal modelling of engineering processes for design automation using knowledge based engineer... Author(s):Vibhor Trehan, Craig Chapman, Path... Clicked:6481 Download:4430 Cited:0 <Full Text> <PPT> 2729 Journal of Zhejiang University Science A 2015 Vol.16 No.9 P.706-723 DOI:10.1631/jzus.A1500140 |