Modeling of critical systems implementing negative events using dual Petri nets
This work is devoted to solving the problem of modeling critical systems based on the use of modified Petri nets. The dual (binary) Petri net one of the modifications, which allows us to view inversing events at the same time, solving the problem with the possibility of deadlocks. Construction of sc...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
EDP Sciences
2018-01-01
|
| Series: | MATEC Web of Conferences |
| Online Access: | https://doi.org/10.1051/matecconf/201822604001 |