Evaluation and extracting factual software architecture of distributed system by process mining techniques

The factual software architectures that are actually implemented of distributed systems do not conform the planned software architectures (Beck 2010). It happens due to the complexity of distributed systems. This problem begets two main challenges; First, how to extract the factual software architectures with the proper techniques and second, how to compare the planned software architecture with the extracted factual architecture. This study aims to use process mining to discover factual software architecture from codes and represents software architecture model in Petri Net to evaluate model by the linear temporal logic and process mining. In this paper, the applicability of process mining techniques, implemented in the ProM6.7 framework is shown to extract and evaluate factual software architectures. Furthermore, capabilities of Hierarchical Colored Petri Net implemented in CPN4.0 are exploited to model and simulate software architectures. The proposed approach has been conducted on a case study to indicate applicability of the approach in the distributed data base system. The final result of the case study indicates process mining is able to extract factual software architectures and also to check its conformance

A Petri net simulation model for virtual construction of earthmoving operations

A common and extended Petri net simulation framework for virtual construction of earthmoving operations is developed to simulate dynamic changes of workflow and information flow in the earthmoving construction process and illustrate the constraint relationship between various operational equipment and construction restrictions. The proposed framework considers factors that influence earthmoving operations including randomness of construction activities, individual preference of equipment scheduling, and constraint relationship between equipment and construction environment. With the given equipment availability and project indirect cost, the framework can predict construction situation, equipment utilization rate, estimated duration and cost to achieve visualized and intelligent scheduling of virtual construction process in earthmoving operations. The simulation process is conducted on the CPNTools platform. The data required by the research were collected on-site in an actual case. The randomness of construction activities in earthmoving operations and main factors influencing construction are simulated. The sensitivity analysis for the model is carried out. The study will provide technical support and a management basis for equipment scheduling of earthmoving operations

Applications of Bayesian networks and Petri nets in safety, reliability, and risk assessments: A review

YesSystem safety, reliability and risk analysis are important tasks that are performed throughout the system lifecycle to ensure the dependability of safety-critical systems. Probabilistic risk assessment (PRA) approaches are comprehensive, structured and logical methods widely used for this purpose. PRA approaches include, but not limited to, Fault Tree Analysis (FTA), Failure Mode and Effects Analysis (FMEA), and Event Tree Analysis (ETA). Growing complexity of modern systems and their capability of behaving dynamically make it challenging for classical PRA techniques to analyse such systems accurately. For a comprehensive and accurate analysis of complex systems, different characteristics such as functional dependencies among components, temporal behaviour of systems, multiple failure modes/states for components/systems, and uncertainty in system behaviour and failure data are needed to be considered. Unfortunately, classical approaches are not capable of accounting for these aspects. Bayesian networks (BNs) have gained popularity in risk assessment applications due to their flexible structure and capability of incorporating most of the above mentioned aspects during analysis. Furthermore, BNs have the ability to perform diagnostic analysis. Petri Nets are another formal graphical and mathematical tool capable of modelling and analysing dynamic behaviour of systems. They are also increasingly used for system safety, reliability and risk evaluation. This paper presents a review of the applications of Bayesian networks and Petri nets in system safety, reliability and risk assessments. The review highlights the potential usefulness of the BN and PN based approaches over other classical approaches, and relative strengths and weaknesses in different practical application scenarios.This work was funded by the DEIS H2020 project (Grant Agreement 732242)

A Review of Building Information Modeling and Simulation as Virtual Representations Under the Digital Twin Concept

Building Information Modeling (BIM) is a highly promising technique for achieving digitalization in the construction industry, widely used in modern construction projects for digitally representing facilities. Nevertheless, retains limitations in terms of representing construction operations. The digital twin concept may potentially overcome these limitations and initiate advanced digital transformation in the construction industry as it has revolutionized the product lifecycle management in the manufacturing industry. This research provides a critical review of applying digital twin in the construction industry. Altogether, 140 papers from related journals and databases were reviewed. The digital aspect of twinning consists of BIM and simulation modeling. These two techniques have been used to create virtual or digital representations of actual buildings and real-world construction processes. However, integrating and applying BIM and simulation modeling according to the digital twin concept remains to be fully studied. Comprehensive evaluations of BIM, simulation modeling, and digital twin will provide a well-defined framework for this research, to identify direction and potential for digital twin in the construction industry, thereby progressing to the next level of digitalization and improvement in construction management practice

Ninth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, Denmark, October 20-22, 2008

This booklet contains the proceedings of the Ninth Workshop on Practical Use of Coloured Petri Nets and the CPN Tools, October 20-22, 2008. The workshop is organised by the CPN group at the Department of Computer Science, University of Aarhus, Denmark. The papers are also available in electronic form via the web pages: http://www.daimi.au.dk/CPnets/workshop0

Engineering framework for service-oriented automation systems

Tese de doutoramento. Engenharia Informática. Universidade do Porto. Faculdade de Engenharia. 201