DocumentCode :
1851242
Title :
Improving analysis and simulation of continuous Petri Nets
Author :
Recalde, L. ; Mahulea, C. ; Silva, M.
Author_Institution :
Departamento de informatica e Ingenieria de Sistemas, Zaragoza Univ.
fYear :
2006
fDate :
8-10 Oct. 2006
Firstpage :
9
Lastpage :
14
Abstract :
State explosion problems in the analysis of discrete event dynamic systems have lead to relaxed views, fluidification in particular. Proceeding in that way continuous Petri nets have been defined. For infinite servers semantics, switching linear systems appear through the presence of minimum operators due to synchronizations. The analysis of the ODEs defining the semantics of those hybrid models suffers from two problems: the existence of the minimum operators and stiffness. In discrete models, an approximated way to deal with stiffness was to classify the transitions into immediate and timed (thus markings are divided into vanishing and tangible). Avoiding synchronizations (hence minimum operators) and removing immediate transitions at net level becomes a crucial issue for continuous Petri nets because timed continuous net models and ODEs are isomorphous. The application to an example taken from the literature illustrates our purpose and the computational advantages obtained
Keywords :
Petri nets; differential equations; discrete event systems; time-varying systems; ODE; continuous Petri nets; discrete event dynamic systems; immediate transitions; infinite servers semantics; ordinary differential equations; state explosion problems; switching linear systems; synchronizations; timed transitions; Analytical models; Automation; Computational modeling; Discrete event simulation; Explosions; Fluid dynamics; Linear systems; Numerical simulation; Petri nets; Timing;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Automation Science and Engineering, 2006. CASE '06. IEEE International Conference on
Conference_Location :
Shanghai
Print_ISBN :
1-4244-0310-3
Electronic_ISBN :
1-4244-0311-1
Type :
conf
DOI :
10.1109/COASE.2006.326847
Filename :
4120313
Link To Document :
بازگشت