EDER J， PANAGOS E， POZEWAUNIG H，et al. Time management in workflow systems[A]．BIS’99 3rdInternational Conference on Business Information Systems[C]．Berlin：Springer Verlag，1999．266-280.
[2]
TASI J J P， YANG S J. Timing constraint Petri nets and their application to schedulability analysis of real-time system specifications[J]．IEEE Trans Software Engineering， 1995，21(1)：32-49.
JOEL T， FRANCOISE S， JEAN P T. Time constraints verification methods based on time Petri nets[A]．Proceedings of the IEEE Computer Society Workshop on Future Trends of Distributed Computing Systems[C]．Los Alamitos，1997．262-267．
