Home  About us  Contact
 

Net Model (net + model)

Distribution by Scientific Domains
Engineering100%

Selected Abstracts

A Possibilistic Petri Net Model for Diagnosing Cracks in RC Structures

COMPUTER-AIDED CIVIL AND INFRASTRUCTURE ENGINEERING, Issue 6 2003
Kevin F. R. Liu
PPN integrates Petri nets with possibilistic reasoning and maintains the advantages of both formalisms. Two major features of PPN include the possibilistic token to carry information to describe an object and its corresponding possibility and necessity measures, and four types of possibilistic transitions,inference, duplication, aggregation, and aggregation-duplication. A reasoning algorithm, based on possibilistic Petri nets, is also developed to execute PPN. The PPN model and the reasoning algorithm are further used to diagnose possible causes of cracking in RC structures, and three basic cases are considered to demonstrate the applicability of the approach. The reliability of the results is increased by explaining the diagnostic process through the movement of tokens. Moreover, the confidence level associated with each possible cause of concrete cracking can be used to determine the relevance of the diagnosis. [source]

Petri net model of protocol conversion for CTF service: its universal coupling criteria and property analysis

INTERNATIONAL JOURNAL OF COMMUNICATION SYSTEMS, Issue 5 2007
Xiaomin Zhu
Abstract Protocol conversion is a critical issue requiring much research attention. In this paper, the protocol conversion methodology proposed originally by Green is extended with the Petri nets theory to study application layer protocol conversion among more than two interfaces. The click-to-fax (CTF) service based on the Internet intelligent network (IIN) model is taken as an example to illustrate the extended part. A two-step Petri net modelling method is proposed, which is easier compared to constructing the overall model directly in just one step. Universal coupling criteria of Petri net model of protocol conversion (PNPC) are abstracted. The PNPC of CTF service is analysed using analytical techniques of Petri nets, which are proved to be effective in finding and eliminating potential bugs. The necessity of the concept of service layer is also emphasized. Copyright © 2006 John Wiley & Sons, Ltd. [source]

Design of liveness-enforcing supervisors via transforming plant petri net models of FMS,

ASIAN JOURNAL OF CONTROL, Issue 3 2010
Chun-Fu Zhong
Abstract This paper focuses on the deadlock prevention problems in a class of Petri nets, systems of simple sequential process with resources, S3PR for short. By structure analysis, we propose an approach that can transform a plant net model into a weighted S3PR (WS3PR) that is behaviorally equivalent to the plant model. The WS3PR is made to be live by properly reconfiguring its weight distribution such that its all strict minimal siphons are self-max'-controlled. The resulting WS3PR can serve as a liveness-enforcing Petri net supervisor for the plant model after removing some idle and operation places. A live controlled system can be accordingly obtained by synchronizing a plant model and the places whose weights are regulated. This research shows that a small number of monitors is obtained, leading to more permissive behavior of the controlled system. Examples are used to demonstrate the proposed concepts and methods. Copyright © 2010 John Wiley and Sons Asia Pte Ltd and Chinese Automatic Control Society [source]