S3PR, Systems of Simple Sequential Processes with Resources, is a class of Petri Nets to describe concurrent systems with analyses to include model checking capabilities. The structural object of siphons is extensively used to characterize and analyze deadlock situations in flexible manufacturing system (FMS) that are modeled on Petri Nets (PN). The purpose of this work is to structure a model ...

In order to improve the operation and maintenance (O&M) of offshore wind turbines, a new Petri net (PN)-based turbine model is developed in this paper simulate O&M activities an farm. With aid PN developed, three potential strategies are studied. They (1) carrying out periodic components at different frequencies according their specific reliability features; (2) conducting full inspecti...

This paper gives a novel method of investigating flowsensitive pointer analysis for multithreaded program based on petri net. The method mainly borrows causal dataflow analysis idea from Azadeh Farzan. Petri net is used to describe control flow structure of multithreaded program. And pointer points-to information is propagated along causal dependencies of events in the partial order execution o...

This paper suggests a way for Petri Net analysis by checking the ordering relations between places and transitions. The method is based on unfolding the original net into an equivalent acyclic description. We improved on the previously known cutoff criterion for truncating unfoldings [13]. No restrictions are imposed on the class of general PNs. The new criterion significantly reduces the size ...

In this paper we purpose a Petri-net-based method for describing the model of an object-oriented design of Access Control System (ACS), by specifying the object interaction scenarios as Petri nets with an Augmented Marked Petri Net (AMPN) structure. After synthesizing these scenarios into an integrated net, we analyze the system based on the special properties of AMPN. For unique representation...

Timed Petri nets can be used to model and analyse scheduling problems. To support the modelling of scheduling problems, we provide a method to map tasks, resources and constraints onto a timed Petri net. By mapping scheduling problems onto Petri nets, we are able to use standard Petri net theory. In this paper we will show that we can use Petri net based tools and techniques to find conflicting...

This paper approaches the process of validating and verifying the embedded control system of a satellite prototype. The focus of this approach is on the integration of UML and Petri nets, aiming at the formal verification of the system requirements. The approach is composed of: (1) simulation of the UML model in a CASE tool; (2) simulation of the Petri net model in a Petri net simulator; and (3...

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 ...

Petri Nets are a system description and analysis tool. Reachability is one of the most basic properties in Petri Net research. In a sense, reachability research is the foundation study for other dynamic properties of Petri Nets through which many problems involving Petri Nets can be described. Nowadays, there are two mature analysis methods–the matrix equation and the reachability tree. However...

We illustrate a framework for simulating degradation processes in components of energy systems. The logical framework revolves around a multi-state representation of the processes. The physics governing the processes is captured in the transition rates governing the random walk across the degradation states. The computational framework relies on a representation of the process dynamics by stoch...