Abstract: It is shown that Shannon’s information capacity calculation metric (originally developed for discrete noiseless channels) can be used for constrainedness quantification of Petri Net based models if they are k-bounded and deadlock free. The proposed approach includes generation of finite marking reachability graph from a given restricted Petri Net based model followed by capacity calculation using the graph by setting up an analogy between Petri Net transitions and letters of Shannon languages.

• Publication Date: 26-Oct-2014
• DOI: 10.15224/978-1-63248-029-3-83
• Views: 0
• Downloads: 0

Abstract: Effective monitoring and traffic management at modern urban area road systems contribute significantly to resolving traffic problems and enhance the quality of life. Congestion caused by lack of capacity and strength of the traffic network due to traffic bursts essentially directs the flow control management in urban area intersections which also imposes restrictions on the development of a city. To address this problem, we develop algorithms for the identification of vehicles, their license plate recognition and the tracking of pedestrians when crossing intersections. The proposed framework is developed in a C# standalone application which collaborates with matlab libraries for the image and video processing and it is an open-ended environment for future extensions.

• Publication Date: 26-Oct-2014
• DOI: 10.15224/978-1-63248-029-3-84
• Views: 0
• Downloads: 0