1. Implementation
1.1 Model transformation
The modeled and verified application meets expectations, but its implementation may require modifications. For example, it may be sufficient to consider that the basic activities used in the modeling are physically distributed over several separate pieces of equipment. A distributed implementation of the Petri net is then necessary to take account of this reality.
The transformation of the resulting model can be considered from several angles.
SCROLL TO TOP
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
Implementation
Application example: robotized inspection cell
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...
The Ultimate Scientific and Technical Reference
