Ping Sun Changjun Jiang Analysis of workflow dynamic changes based on Petri net. 284-292 2009 51 Information & Software Technology 2 http://dx.doi.org/10.1016/j.infsof.2008.02.004 db/journals/infsof/infsof51.html#SunJ09