Developing methods for verifying the discrete-event model elements
| Authors: Gorokhova A.S., Zavadskaya L.A., Novichkova M.A. | Published: 08.10.2024 |
| Published in issue: #4(93)/2024 | |
| DOI: DOI: | |
| Category: Mathematics | Chapter: Computational Mathematics | |
| Keywords: discrete-event system, finite automata, robot group, Petri nets, reachability tree, behavior specification, logical string sequence structure, verification | |