An integrated use of IDEF0, IDEF3 and Petri net methods in support of business process modelling

The paper describes transformation rules that map between IDEF0 and IDEF3 integration definitions and Petri net modelling constructs. Use of these rules has enabled the development of an enterprise modelling methodology. This methodology ensures that different yet consistent views of business processes and their underpinning resources can be developed by members of a systems engineering team. In particular, the methodology supports the organized capture of functional models, expressed in IDEF0 notation, and links them to the subsequent development of behaviour models expressed in IDEF3 notation. Decomposition rules have also been developed that determine relationships between system elements so that they can be modelled at various levels of granularity. Resultant behaviour models can be translated into an equivalent Petri net form. One target application of the modelling rules and methods has been to model interactions between business partners that share common business processes.