Overview

Read this article from a comprehensive knowledge base, updated and supplemented with articles reviewed by scientific committees.
Read the articleAUTHORS
-
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.
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.
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? Log in!

The Ultimate Scientific and Technical Reference
This article is included in
Control and systems engineering
This offer includes:
Knowledge Base
Updated and enriched with articles validated by our scientific committees
Services
A set of exclusive tools to complement the resources
Practical Path
Operational and didactic, to guarantee the acquisition of transversal skills
Doc & Quiz
Interactive articles with quizzes, for constructive reading
Petri net controllers
Bibliography
References
Organizations
Petri Nets World https://cs.au.dk/cpnets/pn-world/
Laboratoire d'analyse et d'architecture des systèmes (LAAS-CNRS) http://www.laas.fr
Agence pour le développement de la productique appliquée à l'industrie (Adepa)
Software
TINA (Time Petri Net Analyzer) - http://www.laas.fr/tina This academic tool developed at LAAS-CNRS integrates a graphical editor of Petri nets (ordinary and temporal), a tool for constructing graphs of accessible markings and graphs of state classes in temporal Petri nets, and a structural analyzer that determines the invariance and consistency...
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? Log in!

The Ultimate Scientific and Technical Reference