By Topic

Improving analysis and simulation of continuous Petri Nets

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
L. Recalde ; Departamento de informatica e Ingenieria de Sistemas, Zaragoza Univ. ; C. Mahulea ; M. Silva

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:

2006 IEEE International Conference on Automation Science and Engineering

Date of Conference:

8-10 Oct. 2006