By Topic

Control verification of a chemical automated process by mixed 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

2 Author(s)
C. Valentin ; Lab. d'Automatique et de Genie des Procedes, UMR CNRS, Villeurbanne, France ; C. Rimlinger

This paper presents a method to model and verify a chemical automated process in order to validate its supervision model by analyzing the structure of a mixed Petri net (MPN) model and simulating it in closed loop with the process model. The supervised process is first modeled with MPN. Its qualitative. features are represented by Petri nets interpreted with algebro-differential equations taking into account-the continuous evolutions. These two modeling tools are integrated into a MPN, which encapsulate the structuration power of Petri nets and the continuous description power of differential-algebraic equations.

Published in:

Robotics and Automation, 2002. Proceedings. ICRA '02. IEEE International Conference on  (Volume:1 )

Date of Conference:

2002