A solution of DEDS control synthesis problems
Systems Analysis Modelling Simulation - Some recent progress in systems research and applications
Supervision Based on Place Invariants: A Survey
Discrete Event Dynamic Systems
Cooperation of agents based on methods of DES supervising and control
Transactions on computational collective intelligence III
| Hi-index | 0.00 |
Modelling the automatic teller machines ATMs by means of place/transition Petri nets P/T PN is presented. Then the attendance on elementary machines in an ATM network is partially solved to replenish money from a depot with minimal logistic costs. Namely, a possibility of the marked graph MG-based solving the so called travelling salesman's problem TSP is pointed out. It utilises the siphons and traps of the MG being a specific kind of P/T PN to find Hamiltonian cycles HCs of a special weighted directed graph corresponding to MG. While the P/T PN-based ATM model makes possible to propose and analyse the safety policy in order to avoid money frauds, minimising the logistic costs makes possible not only to save the fuel of money transport vehicles but also a flexibly exchange the paths to avoid terroristic attacks. The agent cooperation based on supervising the discrete-event systems is utilised at ATM modelling.