Date of Publication :16th November 2017
Abstract: This paper is on the lines of self-explanatory tutorial. It illustrates the application of a formal method for modeling business processes that occur in a requirement engineering context. Two examples have been chosen for the purpose a car wash business process example and an order processing system example. The advantages of formal modeling methods have been discussed. The formal method used for the work is based on Petri nets. This paper is richly illustrated as an aid to ease understanding. The emphasis is more on the conceptual aspects
Reference :
-
- Peterson, James L. (1977) Petri nets ACM computing surveys
- Peterson, james L. (1981), petri net theory and the modeling of systems, prentice Hall
- Matthias Jungel,Ekkart Kindler, and Michael Weber, “The petri net markup language September 2002
- I. Low, Y. Yang, and H. Lin, “Validation of Petri net apoptosis models using p- invariant analysis,” in Control and Automation, 2009. ICCA 2009. IEEE International Conference on, 2009, pp. 416 –421.
- A. Yakovlev, L. Gomes, and L. Lavagno, Eds.,Hardware Design and Petri Nets. Kluwer Academic Publishers, 2000,