GOU Hongmei, et al. Petri-net based business process modeling for virtual enterprise[OB/OL]. http://intl.ieeexplore.ieee.org/xplores/vsearch.jsp.
[6]
DONG Ming, CHEN F F. Process modeling and analysis of manufacturing supply chain networks using object-oriented Petri nets [J]. Robotics and Computer Integrated Manufacturing, 2001, 17: 121-129.
[7]
AALST W M P, HOFSTEDE ARTHUR H M. Verification of workflow task structures: a petri-net-based approach [J]. Information System, 2000, 25 (1): 43-69.
[8]
AALST W M P. Formalizaion and verification of event-driven process chains [J]. Information and Software Technology, 1999, 41: 639-650.
[9]
AALST W M P. The application of petri nets to workflow management [J]. The Journal of Circuits, Systems and Computers, 1998, 8(1): 21-66.
[10]
BOGGS W. UML with rational rose [M]. Beijing: Publishing House of Electronic Industry, 2000.
[11]
AALST W M P, ANYANWU K. Inheritance of interorganizational workflows to enable business-to-business e-commerce[A]. Proceedings of the Second International Conference on Telecommunications and Electronic Commerce [C].Nashville, Tennessee, 1999. 141-157.
[12]
AALST W M P,BASTEN T. Life-cycle inheritance: a petri-net-based approach[A].Application and Theory of Petri Nets, Vol.1248 of Lecture Notes in Computer Science[C].Germany:Springer, 1997. 62-81.
[13]
BASTEN T,AALST W M P.Inheritance of behavior[J]. Journal of Logic and Algebraic Programming,2001, 47(2): 47-145.
[14]
AALST W M P. Petri net based scheduling[R]. Eindhoven: Eindhoven University of Technology, 1995.
[15]
AALST W M P. Woflan: a Petri-net-based workflow analyzer [DB/OL]. http://tmitwww.tm.tue.nl/staff/wvdaalst.
