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