By Topic

Extending Timed Net Condition/Event Systems with hybrid 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
$31 $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)
Puttonen, J. ; Dept. of Production Eng., Tampere Univ. of Technol., Tampere ; Lobov, A. ; Lastra, J.L.M.

This paper proposes extensions to an existing formalism used in discrete modeling of systems. The formalism is a Petri net based formalism called timed net condition/event system (TNCES). The goal of the extensions is to allow the modeling of hybrid systems that contain both discrete and continuous elements. The extended model is applied in modeling and analysis in the domain of factory automation. This demonstrates the validation of industrial systems composed of discrete logic controller(s) and a plant or a controlled object, which is typically hybrid in nature.

Published in:

Industrial Informatics, 2008. INDIN 2008. 6th IEEE International Conference on

Date of Conference:

13-16 July 2008