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
Published in:
Automation Science and Engineering, 2006. CASE '06. IEEE International Conference on
Date of Conference: 8-10 Oct. 2006