Author:
Mitchell Brice,Kristensen Lars Michael,Zhang Lin
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Reference29 articles.
1. Adam N.R., Atluri V., Huang W. (1998). Modeling and analysis of workflows using petri nets. J. Intell. Inf. Syst. 10: 131–158
2. Australian Defence Force Publications (ADFP): Joint Military Appreciation Process. Operations Series 9, Joint Planning, Chap. 8 (1999)
3. Bertholot, G.: Occurrence graphs for interval timed coloured petri nets. In: Proceedings of ICATPN’94, vol. 815 of Lecture Notes in Computer Science, pp. 79–98. Springer, Heidelberg (1994)
4. Christensen, S., Kristensen, L.M., Mailund, T.: A sweep-line method for state space exploration. In: Proceedings of TACAS’2001, vol. 2031 of Lecture Notes in Computer Science, pp. 450–464. Springer, Heidelberg (2001)
5. Ellis, C.A., Nutt, G.J.: Modelling and enactment of workflow systems. In: Proceedings of ICATPN’93, vol. 691 of LNCS, pp. 1–16. Springer, Heidelberg (1993)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献