


Registros recuperados: 23  

 


Jianxin Liao; Yuting Zhang; Xiaomin Zhu. 
In this chapter, with the procedure of Protocol Conversion Methodology, a Petri net model is constructed to verify the mapping and the Enhanced Architectural Model proposed in (Zhang, 2007), find and exclude the possible exceptions in the interworking. After the strict mathematical analysis and verification for the model, which prove that the model meets all properties of a correct Petri net model, the mapping and the Enhanced Architectural Model are proved to be reasonable and viable, and the probable exceptions in the interworking can be found and excluded. During the modeling experiences of the interworking with Petri Nets, a new coupling criteria for Petri net and some new methods for solving the conflict of a Petri Net are proposed, and the... 
Tipo: 4 
Palavraschave: Petri Net; Theory and Applications. 
Ano: 2008 
URL: http://www.intechopen.com/articles/show/title/an_interworking_petri_net_model_between_simple_and_imps_for_xdm_service 
 


King Sing Cheung. 
In the past decade, augmented marked graphs have evolved into a subclass of Petri nets. They are often used for modelling shared resource systems, such as manufacturing systems. One major reason is that augmented marked graphs possess a special structure which is desirable for modelling shared resources. However, the properties of augmented marked graphs are not extensively studied. In the literature, there are a few published works on augmented marked graphs. This paper consolidates our earlier works on augmented marked graphs with a special focus on liveness, boundedness, reversibility and conservativeness. We provide a number of characterisations for live and reversible augmented marked graphs. In particulars, some of these characterisations are based... 
Tipo: 17 
Palavraschave: Petri Net; Theory and Applications. 
Ano: 2008 
URL: http://www.intechopen.com/articles/show/title/augmented_marked_graphs_and_the_analysis_of_shared_resource_systems 
 


Dimitri Lefebvre. 
The investigation of diagnosis methods for discrete event systems shows that Petri nets is efficient not only to model the considered systems but also to support the diagnosis methods. Several approaches can be used in order to check diagnosability, to select sensors and to work out diagnosers. The table 5 sums up the main characteristics of these method. As a conclusion it is important to notice the great effort, observed this last years to develop and improve diagnosis methods for DES. The strong connection with observation properties in automata and the use of advances in computer science like the coding theory have played an important role in that development. Now, the challenges are, from our 
Tipo: 16 
Palavraschave: Petri Net; Theory and Applications. 
Ano: 2008 
URL: http://www.intechopen.com/articles/show/title/diagnosis_of_discrete_event_systems_with_petri_nets 
 


Nicholas G. Odrey. 
The work presented above essentially summarizes past and ongoing work within the Industrial & Systems Engineering department at Lehigh University on "smart" systems. The research undertaken indicates a variable architecture and approach for such systems. Extensions to this work will incorporate stochastic implications, communications and negotiation strategies between agents, and further work on control nets and strategies. Hybrid nets such as the Petri ?Neural Net are of particular interest. The techniques integrated into this work in the future will be directed toward development of robust, reconfigurable, adaptable large scale systems. Applications are currently in production and logistic systems. Other applications are being pursued. 
Tipo: 14 
Palavraschave: Petri Net; Theory and Applications. 
Ano: 2008 
URL: http://www.intechopen.com/articles/show/title/error_recovery_in_production_systems__a_petri_net_based_intelligent_system_approach 
 


Tomasz Babczyński; Jan Magott. 
The approximation method of the mean response time for layered multi?agent system has been presented. This system has three layers of agents, namely, manager, bidder, and searcher type ones denoted by abreviations MTA, BTA, STA. After receiving a request from an user, the MTA sends the messages to the BTAs in order to inform them about the user request. After receiving a request from the MTA, the BTA sends the messages to all STAs co? operating with this BTA. In the communication, the time?out mechanisms are used. The STA prepares the response for the BTA by the Data Base (DB) searching. The probability of finding the response in the DB is denoted by f_rate. Searching time is expressed by uniform distribution over the time interval [0,b). Message... 
Tipo: 15 
Palavraschave: Petri Net; Theory and Applications. 
Ano: 2008 
URL: http://www.intechopen.com/articles/show/title/estimation_of_mean_response_time_of_multiagent_systems_using_petri_nets 
 

 


Franck Cassez; Olivier H. Roux. 
In this chapter, we have presented time Petri Nets (TPNs) and a structural translation from TPNs to TA. Any TPN T and its associated TA (T ) are timed bisimilar. Such a translation has many theoretical implications. Most of the positive theoretical results on TA carry over to TPNs. The class of TPNs can be extended by allowing strict constraints (open, halfopen or closed intervals) to specify the firing dates of the transitions; for this extended class, the following results follow from our translation and from Theorem 5: ? TCTL model checking is decidable for bounded TPNs. Moreover efficient algorithms used in U PPAAL (Pettersson and Larsen, 2000) and K RONOS (Yovine, 1997) are exact for the class of TA obtained with our translation; ? it is decidable... 
Tipo: 11 
Palavraschave: Petri Net; Theory and Applications. 
Ano: 2008 
URL: http://www.intechopen.com/articles/show/title/from_time_petri_nets_to_timed_automata 
 

 

 


Latefa Ghomri; Hassane Alla. 
Some extensions of PNs permitting HDS modeling were presented here. The first models to be presented are continuous PNs. This model may be used for modeling either a continuous system or a discrete system. In this case, it is an approximation that is often satisfactory. Hybrid PNs combine in the same formalism a discrete PN and a continuous PN. Two hybrid PN models were considered in this chapter. The first, called the hybrid PN, has a deterministic behavior; this means that we can predict the occurrence date of any possible event. The second hybrid PN considered is called the Delementary hybrid PN; this model was conceived to be used for HPN controller synthesis. Controller synthesis algorithms consider the open system S and the specification on its... 
Tipo: 6 
Palavraschave: Petri Net; Theory and Applications. 
Ano: 2008 
URL: http://www.intechopen.com/articles/show/title/modeling_and_analysis_of_hybrid_dynamic_systems_using_hybrid_petri_nets 
 


Marcin Szpyrka. 
RTCPnets are an adaptation of CPnets to make modelling and verification of embedded systems easier and more efficient. Based upon the experience with application of CPnets for embedded systems' modelling, some modifications were introduced in order to make timed CPnets more suitable for this purpose. The main advantage of the presented formalism is the new time model. Together with transitions' priorities, the time model enable designers direct modelling of task priorities, timeouts, etc. that are typical for concurrent programming. The next advantage of RTCPnets is the possibility of analysis of model properties with coverability graphs. Timed CPnets can be also used to model embedded systems. A few different analysis methods have been proposed for... 
Tipo: 2 
Palavraschave: Petri Net; Theory and Applications. 
Ano: 2008 
URL: http://www.intechopen.com/articles/show/title/modelling_and_analysis_of_realtime_systems_with_rtcpnets 
 

 

 

 

 

 

 


Duhang Zhong; Zhichang Qi; Xishan Xu. 
In this paper, we introduce an approach to predict the reliability of Web services composition. We present the transformation algorithms from BPEL, which is the de facto industry standard of Web services composition specification, to CSPN models. Using the model, we can compute the reliability prediction of the web service composition. The major contribution of this paper is a reliability prediction technique that takes into account the structure of BPEL specification and the concurrent nature of service composition. For future work, we will transform all controlflow constructs of BPEL (including link, scope, faultHandler etc) into Petri nets. And we will use our CSPN model to give a more precise estimation of the reliability and performance of web... 
Tipo: 20 
Palavraschave: Petri Net; Theory and Applications. 
Ano: 2008 
URL: http://www.intechopen.com/articles/show/title/reliability_prediction_and_sensitivity_analysis_of_web_services_composition 
 


Jong kun Lee; Ouajdi Korbaa. 
In this paper, we focused on the analysis of a cyclic schedule for the determination of the optimal cycle time and minimization of WIP (Work In Process). Especially, this paper product ratiodriven FMS cyclic scheduling problem with each other products and ratios has been dealt. We proposed a model that has two jobs and two machines. And TPN slice and unfolding are applied to analyze this FMS model. We can divide original system into subsystem using TPN slice and change iterated cycle module into acyclic module without any other behavior properties. Specially, we simulated our approach with IBM PC windows 2000 using Visual C++, then our approach is faster than Korbaa's approach in the many resource shared. This means that the new approach is more useful to... 
Tipo: 13 
Palavraschave: Petri Net; Theory and Applications. 
Ano: 2008 
URL: http://www.intechopen.com/articles/show/title/scheduling_analysis_of_fms_using_the_unfolding_time_petri_nets 
 
Registros recuperados: 23  


