In this paper the dynamic modeling of repairable and standby components of complex systems is analyzed using Petri Nets and ladder logic diagrams. The use of Petri Nets as modelling of a complex system avoids two basic disadvantages of Markov chain analysis. First, the Petri Net model does not grow in size as increasing the number of components and second, Markov chain has been limited to the e...

Testing requirements in the earlier stages of system design is a necessary step in system development. Mobile TV system has been in the spotlight due to widespread use of smart devices. Nowadays, most people in public transportation watch TV programs on their smartphones. However, this activity consumes a lot of smartphone battery power. The solution to this problem can be a cloud-based mobile ...

The paper presents the Petri net ontology that enables sharing Petri nets on the Semantic Web. Previous work on formal methods for representing Petri nets mainly defines tool-specific descriptions or formats for model interchange. However, such efforts do not provide a suitable description for using Petri nets on the Semantic Web. This paper uses the Petri net UML model as a starting point for ...

Based on an analysis of the working principles of the hydraulic variable pitch system of a wind turbine, a novel Petri net model and reliability evaluation method are proposed. First, Petri net theory is adopted to build a model for each discrete state of the operation of the hydraulic pitch system of the wind turbine and at the same time a fault Petri net model is established. Then through qua...

The paper presents the current status of the software tool TimeNET. It supports modeling and performance evaluation of stochastic models, including extended deterministic and stochastic Petri nets, colored stochastic Petri nets, and Markov chains as well as UML extensions. Among its main characteristics are simulation and analysis modules for stationary and transient evaluation of Petri nets in...

In this paper, we propose a modeling tool named QCPN (Queueing Colored Petri Net). The main idea of this tool is to combine the original CTPN (Colored Timed Petri Net) with the queueing systems. With QCPN model, we can predict the delivery date of any specific product under some scheduling policies eflcientfy and rather precisely. In the scheduling phase. we use the GA based approach to search,...

We describe a case study of the design and verification of a parallel image processing unit based on an extended Petri net, which is called a Logical Colored Petri net (LCPN). This is suitable for Flexible-Manufacturing System (FMS) modeling and discussion of structural properties. LCPN is another family of colored p/t-net (CPN) with the addition of the following features: integer value assignm...

The increasing reliance on computer technology nowadays has resulted in a rapidly growing need to build reliable and fault resistant computer-based systems. Computer system reliabilities are conventionally modeled and analyzed using techniques such as fault tree analysis (FTA) and reliability block diagrams (RBD), which provide static representations of system reliabilities. A recent extension ...

Evaluating the reliability of loosely coupled Software as a Service through the paradigm of a cluster-based and non-cluster-based web server is considered to be an important attribute for the service delivery and execution. We proposed a novel method for measuring the reliability of Software as a Service execution through load testing. The fault count of the model against the stresses of users ...