Search by keyword: "Petri nets"
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 | |
Classification of modeling methods for distributed information processing systems
| Authors: Adamova I.O. | Published: 22.03.2021 |
| Published in issue: #2(55)/2021 | |
| DOI: DOI: 10.18698/2541-8009-2021-2-676 | |
| Category: Informatics, Computer Engineering and Control | Chapter: System Analysis, Control, and Information Processing, Statistics | |
| Keywords: distributed systems, modeling of distributed systems, finite automata, probabilistic automata, Petri nets, nested Petri nets, process algebras, aggregate system, agent-based model, graph | |