Modeling and analysis of TIS based on GSPN

Jisuanji Xuebao/Chinese Journal of Computers

Volumn 28, Issue 1, 2005, Pages 81-87

  Lin, Lin ^a   Jiang, Chang Jun ^a  

^a TONGJI UNIVERSITY   (China)

Author keywords

Behavior expression; GSPN; Performance analysis; Transportation Information System; Workflow

Indexed keywords

ANALYSIS; MANAGEMENT INFORMATION SYSTEMS; MODELS; PERFORMANCE; PETRI NETS;

BEHAVIOR EXPRESSION; GRAND STOCHASTIC PETRI NET (GSPN); MODELING METHOD; ORDER PROGRAM SERVICE; PERFORMANCE ANALYSIS; TRANSPORTATION INFORMATION SYSTEM; WORKFLOW;

INTELLIGENT VEHICLE HIGHWAY SYSTEMS;

EID: 14744287456     PISSN: 02544164     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (13)

1. Hollingsworth D.. The workflow reference model, workflow management coalition. WfMC Document Number TC00-1003, 1994. http://www.aiai.ed.ac.uk/WfMC/
2. van der Aslst W. M. P.. The application of Petri nets to workflow management. The Journal of CircuTIS, Systems and Computers, 1998, 8(1): 21-66
3. Papazoglou M., Delis A., Bouguettaya A. et al.. Class library support for workflow environments and applications. IEEE Transactions on Computers, 1997, 46(6): 673-686
4. Kacmar C., Carey J., Alexander M.. Providing workflow services using a programmable hypermedia environment. Information and Software Technology, 1998, 40(1): 381-396
5. Jiang Chang-Jun. Petri Net Theory of Discrete Event Dynamic System. Beijing: Science Press, 2000 (in Chinese)
6. Pan Qi-Shu, Jiang Bing. Petri net based workflow modeling techniques and applications. Journal of Tsinghua University (Science and Technology), 2002, 40(9): 86-89 (in Chinese)
7. Fan Yu-Shun. The Fundamental Technology of Workflow Management. Beijing: Tsinghua University Press, 2001 (in Chinese)
8. Jiang Chang-Jun et al.. Research on traffic information grids. Journal of Computer Research and Development, 2003, 40(12): 1677-1681 (in Chinese)
9. Shi Y. Q., Zhang Z. H., Fang Y., Jiang C. J.. Build city traffic information service system based on grid platform. In: Proceedings of the 6th IEEE International Conference on ITS, Shanghai, 2003, 1: 278-282
10. Lin Chuang, Tian Li-Qin, Wei Ya-Ya. Performance equivalent analysis of workflow systems. Journal of Software, 2002, 13(8): 1472-1480 (in Chinese)
11. Du Yu-Yue, Jiang Chang-Jun. Towards a workflow model of real-time cooperative systems. In: Proceedings of the 5th International Conference on Formal Engineering Methods, Singapore, 2003, 452-470
12. Du Yu-Yue, Jiang Chang-Jun. Formal representation and analysis of batch stock trading systems by logical Petri bet workflows. In: Proceedings of the 4th International Conference on Formal Engineering Methods, Shanghai, 2002, 221-225
13. Yuan Chong-Yi. The Principle of Petri Net. Beijing: Peking University Press, 1999 (in Chinese)