Requirements engineering of a medical information system using rule-based refinement of Petri nets

This paper is concerned with the application of a formal technique to software engineering. In this case study we have used rule-based reenement of algebraic high-level nets for the requirements engineering of a medical information system. We outline the basic ideas of rule-based reenement and discuss how this technique is applied to the development from actual state analysis to functional essence.