this ability in fuzzy uml, practically leaves the customers and market’s need without response in this important and vital area. here, the available sequence diagrams in fuzzy uml will map into fuzzy petri net. however, the formal models ability will be added to the semi-formal fuzzy uml. this formalization will add the automatic processing ability to the semi-formal fuzzy uml. further more, ...

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

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

Message Sequence Chart (MSC) is a graphical trace language for describing the communication behaviour of distributed systems. In order to build a Petri Net model of a complex system, this paper introduces a strategy to build a Petri Net model by using MSC. The algorithm of translating the MSC model to Petri Net model is also given in this paper. We can get the Petri Net model and improve it by ...

This paper presents a Petri net based analysis of ontology for indoor location-based services. The proposed method builds up a Petri net model for the given ontology at the first step. Then, it analyzes the Petri net model by running the simulation on it. The proposed method of building a Petri net model for the given ontology is given in the paper. Then algorithms of performing inferences on t...

A Markovian Petri net is a stochastic discrete event system frequently used for analysis and performance evaluation purposes. In the past, the fluidification has been proposed as a relaxation technique for avoiding the ”state explosion problem”. Following the same approach, in this paper a hybrid Petri net model is defined as a partial relaxation of an original Markovian Petri net. It is shown ...