The advancement of technology is ramping up the pace digitization and automation aircraft maintenance activities, with that, stakeholders’ interest in high-level has also increased over past few years. Thus, to stay relevant market capable competing, Aircraft Maintenance Overhaul (MRO) companies must reshape adapt newer methodologies enhance enrich quality aviation after-sales services. Operati...

Subject matter With the rapid development of computer network and communication technology, the study of concurrent and distributed systems has become increasingly important. Among various models of concurrent computation, process calculi have been widely investigated and successfully used in the specification, design, analysis and verification of practical concurrent systems. In recent years, ...

In this paper we bridge the gap between performance evaluation and the modelling of business processes. On the basis of a case study from the field of operational planning processes we investigate the performance evaluation of human resource management processes. In particular we consider the affect of timing in operational planning processes. We use TimeNET for modelling. It provides methods n...