Petri net controllers - Implementation and application

Add to my library

S7573 V1 Article

Petri net controllers - Implementation and application

Authors : Michel COMBACAU, Philippe ESTEBAN, Alexandre NKETSA

Publication date: March 10, 2005 | Lire en français

Add to my library Add to my library

Logo Techniques de l'Ingenieur You do not have access to this resource.
Request your free trial access! Free trial

Already subscribed?

Overview

Read this article from a comprehensive knowledge base, updated and supplemented with articles reviewed by scientific committees.

Read the article

AUTHORS

  • Michel COMBACAU : Professor, Paul-Sabatier University (Toulouse-III), Systems Analysis and Architecture Laboratory (LAAS-CNRS)

  • Philippe ESTEBAN : Senior Lecturer, Paul-Sabatier University (Toulouse-III), LAAS-CNRS

  • Alexandre NKETSA : Professor, Paul-Sabatier University (Toulouse-III), LAAS-CNRS

 INTRODUCTION

Modeling techniques were used to obtain a behavioral model of the application defined by its specifications. [1][3][4][5] . The verification of this model allows us to ascertain (or not) that its behaviour does not betray that expected and describes it correctly. [4][10] . Feedback on the modeling may have been necessary, in order to adjust the representation of the application and track the required operation as closely as possible. These steps are detailed in .

The implementation stage gives reality to the model resulting from all this design and analysis work: process control can finally be envisaged. Finally, an application example is presented for illustrative purposes.

You do not have access to this resource.
Logo Techniques de l'Ingenieur

Exclusive to subscribers. 97% yet to be discovered!

You do not have access to this resource. Click here to request your free trial access!

Already subscribed?

Ongoing reading
Petri net controllers - Implementation and application

Article included in this offer

"Control and systems engineering"

( 145 articles )

Complete knowledge base

Updated and enriched with articles validated by our scientific committees

Services

A set of exclusive tools to complement the resources

View offer details
Contact us
Contact our team FAQ