Automated solving of the DEDS control problems
IEA/AIE '99 Proceedings of the 12th international conference on Industrial and engineering applications of artificial intelligence and expert systems: multiple approaches to intelligent systems
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Introduction to Discrete Structures for Computer Science and Engineering
Introduction to Discrete Structures for Computer Science and Engineering
DES modelling and control vs. problem solving methods
International Journal of Intelligent Information and Database Systems
Petri net-based approach to modelling ATM and minimising logistic costs in ATM network
International Journal of Computational Intelligence Studies
| Hi-index | 0.00 |
A new view on the control synthesis of DEDS (discrete event dynamic systems) is presented in this paper. Petri nets (PN), frequently used for DEDS modelling, are understood here in a form of corresponding oriented graphs (OG) where the nodes of the OG are represented by the PN positions and the OG edges involve the PN transitions. The adjacency matrix of such a graph (or better said its transpose) is utilized in the DEDS control synthesis procedure. It is used for generating the numerical form of the state reachability tree in both the case of the straight-lined system development (from a given initial state to a prescribed terminal one) and that of the backtracking one (from the prescribed terminal state to the initial one). A suitable combination of both the straight-lined development of the OG-based model and the backtracking one is used in order to perform the DEDS control synthesis. Namely, the coincidence both of the reachability trees yields possible trajectories of the system development. Corresponding sequences of the control discrete events are found just by means of the OG adjacency matrix.