Preview

Труды Института системного программирования РАН

Расширенный поиск

Временные причинно-упорядоченные процессы временных сетей Петри со «слабой» семантикой

https://doi.org/10.15514/ISPRAS-2020-32(4)-19

Аннотация

В данной статье предлагается метод редукции пространства состояний непрерывно-временных сетей Петри (НВСП) – расширения сетей Петри, где каждому переходу ставится в соответствие временной интервал его срабатывания. Техники контроля времени и памяти определяют различные семантики для НВСП, которые влияют на разрешимость многих стандартных проблем анализа поведения НВСП. В общем случае, пространство состояний НВСП бесконечно и несчетно, и, следовательно, анализ их поведения довольно сложен. С целью разрешения данной проблемы выполняется дискретизация пространства состояний и определяется семантика частичного порядка для НВСП со «слабой» техникой продвижения времени (продвижение времени неограничено) и «промежуточной» техникой контроля памяти (с учетом промежуточных разметок при срабатывании сетевых переходов).

Об авторах

Ирина Бонавентуровна ВИРБИЦКАЙТЕ
Институт систем информатики им. А.П. Ершова СО РАН, Новосибирский государственный университет
Россия
доктор физико-математических наук, профессор, заведующая лабораторией теории параллельных процессов в ИСИ СО РАН, профессор НГУ


Алексей Юрьевич ЗУБАРЕВ
Институт систем информатики им. А.П. Ершова СО РАН
Россия
аспирант


Список литературы

1. M. Boyer and O. H. Roux. On the compared expressiveness of arc, place and transition time Petri nets. Fundamenta Informaticae, vol. 88, no. 3, 2008, pp. 225-249.

2. B. Bérard, F. Cassez, S. Haddad, D. Lime, and O. H. Roux. Comparison of different semantics for time Petri nets. Lecture Notes in Computer Science, vol. 3707, 2005, pp. 293-307.

3. P.-A. Reynier and A. Sangnier. Weak time Petri nets strike back! Lecture Notes in Computer Science, vol. 5710, 2009, pp. 557-571.

4. L. Popova-Zeugmann. Time Petri nets. Springer, 2013, pp. 31-137.

5. T. Aura and J. Lilius. A causal semantics for time Petri nets. Theoretical Computer Science, vol. 243, no. 1-2, 2000, pp. 409-447.

6. H. Fleischhack and C. Stehno. Computing a finite prefix of a time Petri net. Lecture Notes in Computer Science, vol. 2360, 2002, pp. 163-181

7. T. Chatain and C. Jard. Back in time Petri nets. Lecture Notes in Computer Science, vol. 8053, 2013, pp. 91-105.


Рецензия

Для цитирования:


ВИРБИЦКАЙТЕ И.Б., ЗУБАРЕВ А.Ю. Временные причинно-упорядоченные процессы временных сетей Петри со «слабой» семантикой. Труды Института системного программирования РАН. 2020;32(4):261-284. https://doi.org/10.15514/ISPRAS-2020-32(4)-19

For citation:


VIRBITSKAITE I.B., ZUBAREV A.Yu. Time Causal Processes in Time Petri Nets with Weak Semantics. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2020;32(4):261-284. https://doi.org/10.15514/ISPRAS-2020-32(4)-19



Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 2079-8156 (Print)
ISSN 2220-6426 (Online)