- Full text PDF available (8)
- This year (0)
- Last five years (0)
One approach for creation of a graphical environment for AUV mission programming and veriication is described in the paper. It is based on a Petri net theory. The results of the AUV mission programming and veriication using the graphical environment are supplemented.
The problem of Petri nets application to real-world parallel and distributed systems of industrial size causes developing of the compositionality within the theory of Petri nets. This paper presents a tools which is an attempt in resolving this problem. We suggest solution based on an algebraic approach of Petri net representation. Two levels of… (More)
It is well known that Erlang C and Erlang B models play an important role in telephony call centers as they allow estimating workforce demand for inbound and outbound calls. At the same time for real-world call centers these modes are quite limited as they do not take into consideration abandonment of calls. In operational research the queue model that… (More)