Title :
A Formal Modeling Method based on CPN
Author :
Li, Shancang ; Zhang, Deyun ; Li, Zongbin ; Ma, Fuhai ; Wu, Feng
Author_Institution :
Xi´´an Jiaotong Univ., Xi´´an
Abstract :
As a method of system modeling, coloured Petri nets occupy an essential position in the fields of discrete events and dynamic systems. Traditional coloured Petri net is defined with multi-sets that made it difficult in the modeling formalization and difficult to understand in computing. In this paper, a new method to describe coloured Petri net with formalization mathematics is presented. In this research, multi-sets can be see as the product of two matrixes and CPN is a superposed net of series of Petri nets with the same base net. In order to describe CPN with mathematics method effectively, a new concept named as ´coloured token vector´ is presented. As a case, routing protocols self-switch mechanism architecture for sensor networks is outlined, the mechanism modeled on the basis of CPN; this is the first such analysis of routing protocols self-switch mechanism in sensor networks, which is simple for use and effective modeling formalization.
Keywords :
Petri nets; operations research; coloured Petri nets; discrete events systems; dynamic systems; formal modeling method; formalization mathematics; routing protocols self-switch mechanism; sensor networks; Analytical models; Concurrent computing; Cybernetics; Information management; Manufacturing systems; Mathematics; Modeling; Petri nets; Routing protocols; Systems engineering and theory;
Conference_Titel :
Systems, Man and Cybernetics, 2006. SMC '06. IEEE International Conference on
Conference_Location :
Taipei
Print_ISBN :
1-4244-0099-6
Electronic_ISBN :
1-4244-0100-3
DOI :
10.1109/ICSMC.2006.385098