From Modelling Using Function Charts for Control Systems to Analysis Using Petri Nets

  • Authors:

  • A. El Rhalibi;F. Prunet;C. Durante

  • Affiliations:

  • -;-;-

  • Venue:
  • MASCOTS '95 Proceedings of the 3rd International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems
  • Year:
  • 1995

Quantified Score

Hi-index 0.00

Visualization

Abstract

A technical process is the controlled flow of matter energy, and/or information. As opposed to the widely investigated continuous control, this paper concentrates on event-related control modelling and validation. In this case, process and related process control can be described by steps and transitions which can be represented very concisely by a Functions Charts for Control Systems model (Grafcet in French). As it is difficult to validate the Grafcet model we propose to transform a Grafcet in Petri net model that is a rigid mathematical tool and which can be used for a very general approach to event-related process control in design and analysis.