Petri nets for modeling of dynamic systems: A survey
R David, H Alla - Automatica, 1994 - Elsevier
Petri nets enable a discrete event system of any kind whatsoever to be modeled. They
present two interesting characteristics. Firstly they make it possible to model and visualize …
present two interesting characteristics. Firstly they make it possible to model and visualize …
Synchronized Petri nets: A model for the description of non-autonomous sytems
We introduce and study the functioning of non-autonomous Petri Nets (PN). The
Synchronized Petri Nets (SPN) are defined as being PN's such that transition finings are …
Synchronized Petri Nets (SPN) are defined as being PN's such that transition finings are …
[图书][B] Systems dependability assessment: modeling with graphs and finite state automata
JF Aubry, N Brinzei - 2015 - books.google.com
Page 1 FOCUS RISK MANAGEMENT AND DEPENDABILITY SERIES Systems
Dependability Assessment Modeling with Graphs and Finite State Automata Jean-François …
Dependability Assessment Modeling with Graphs and Finite State Automata Jean-François …
[图书][B] Systems dependability assessment: Benefits of Petri net models
JF Aubry, N Brinzei, MH Mazouni - 2016 - books.google.com
Petri Nets were defined for the study of discrete events systems and later extended for many
purposes including dependability assessment. In our knowledge, no book deals specifically …
purposes including dependability assessment. In our knowledge, no book deals specifically …
Transforming time constraints of a GRAFCET graph into a suitable Petri net formalism
F Schumacher, A Fay - 2013 IEEE International Conference on …, 2013 - ieeexplore.ieee.org
GRAphe Fonctionnel de Commande Etape Transition (GRAFCET) is a powerful graphical
modeling language for the specification of controllers in discrete event systems and an …
modeling language for the specification of controllers in discrete event systems and an …
GRAFCET and Petri nets in manufacturing
A Giua, F DiCesare - Intelligent manufacturing: Programming …, 1993 - Springer
5 GRAFCET and Petri Nets in Manufacturing Page 1 5 GRAFCET and Petri Nets in
Manufacturing Alessandro Giua and Frank DiCesare 5.1 Introduction The application of control …
Manufacturing Alessandro Giua and Frank DiCesare 5.1 Introduction The application of control …
Petri nets and Grafcet for specification of logic controllers
R David - IFAC Proceedings Volumes, 1993 - Elsevier
Basically, a logic controller is a discrete event system whose goal is to control the behaviour
of a process which is itself (seen as) a discrete event system, taking into account the State of …
of a process which is itself (seen as) a discrete event system, taking into account the State of …
Contribution à l'optimisation de la maintenance dans un contexte distribué
AA Alhouaij - 2010 - theses.hal.science
Les travaux de thèse concernent la mise en oeuvre d'une maintenance distribuée dans les
systèmes manufacturiers. Notre problématique s' est portée sur la mise en place d'un …
systèmes manufacturiers. Notre problématique s' est portée sur la mise en place d'un …
Information systems design approach integrating data and transactions
M Léonard, BT Luong - … of the seventh international conference on Very …, 1981 - dl.acm.org
Our objective is to show clearly the interdependance between the study of data and the
study of transactions in information systems design. We have used Codd's model to describe …
study of transactions in information systems design. We have used Codd's model to describe …
A new method for conception, realisation and evaluation of man-machine
M Abed, JC Angue - Proceedings of IEEE International …, 1994 - ieeexplore.ieee.org
The problems of man-machine (MM) communication in any branches of industry (medical,
industrial, aeronautical, etc.) lead to develop some approaches of tasks modelization …
industrial, aeronautical, etc.) lead to develop some approaches of tasks modelization …