Educational process modelling with workflow and time Petri nets : a thesis presented in partial fulfilment of the requirements for the degree of Master of Science in Computer Science at Massey University, Palmerston North, New Zealand

The research presented in this thesis describes how to use workflow management technology to model educational processes with a time axis. As workflow management technology has been widely used in modelling business processes, it has the potential to model educational processes. Based upon the components of workflow, educational processes and business processes have many common features such that educational processes can be modelled with workflow management technology. In addition, owing to the importance of the time component in processes, time Petri nets have been chosen as the design language for the modelling of the educational processes. The notation of time Petri nets has been illustrated in this thesis for the educational process. In this thesis, three different educational processes have been presented and modelled with workflow management technology as well as with time Petri nets individually. Furthermore, the architecture of the educational process management system has been constructed by adopting the reference model from the Workflow Management Coalition. To show the validity of using workflow management technology in the education domain, a sub-process of an educational process has been modelled and developed with certain developing techniques. It provides the potential research direction for further research on the modelling of educational process with workflow technology associated with a time component

Integration of the Cimosa and high-level coloured Petri net modelling techniques with application in the postal process using hierarchical dispatching rules

Enterprise processes, i.e. business and manufacturing, rely on enterprise modelling and simulation tools to assess the quality of their structure and performance in an unobtrusive and cost-effective way. Each of these processes is a collaboration of inseparable elements such as resources, information, operations, and organization. In order to provide a more complete assessment of enterprise processes, a simulation approach that allows communication and interaction among these elements needs to be provided. The simulation approach requires an analysis of the performance of each element and its influence on other elements in an object-oriented way. It also needs to have the capability to represent the structures and dynamics of the elements mentioned, and to present the performance assessment comprehensively. This will ensure a more holistic simulation modelling task. These simulation requirements have motivated the investigation of the novel integration of two popular enterprise process modelling methods: Cimosa and high-level coloured Petri net. The Cimosa framework is used to formalize the enterprise modelling procedure in the aspects of representing process elements, structure, behaviours, and relationships. The high-level coloured Petri nets method provides the mechanism to simulate the dynamics of objects and their characteristics, and also to enable communication among the objects. The approach is applied on a postal process model, which involves elements from manufacturing processes, i.e. machine processing (sorting), inventory (storage), product flow, and resource planning. Simulation studies based on the hierarchical dispatching rules show that the integrated approach is able to present vital information regarding the communication method, resource management, and the effect of interactions among these manufacturing process elements, which are not provided by the current modelling system in the postal company. The current paper has presented a novel mechanism, i.e. Cimosa—HCTSPN modelling approach, to extract information on process elements and their interactions. It has also presented the novel hierarchical dispatching rules and contributed to the extension of information that can be represented for a postal process