Automatic Code Generation from Nested Petri nets to Event-based Systems on the Telegram Platform

Automatic Code Generation from Nested Petri nets to Event-based Systems on the Telegram Platform

Nested Petri net formalisms is an extension of coloured Petri net formalism that uses Petri Nets as tokens. The formalism allows creating comprehensive models of multi-agent systems, simulating, verifying and analyzing them in a formal and rigorous way. Multi-agent systems are found in many differen...

Full description

Bibliographic Details
Main Authors: D. I. Samokhvalov, L. W. Dworzanski
Format: Article
Language:English
Published: Ivannikov Institute for System Programming of the Russian Academy of Sciences 2018-10-01
Series:Труды Института системного программирования РАН
Subjects:
вложенные сети петри
telegram bot api
язык действий
событийно-управляемые системы
кодогенерация
Online Access:https://ispranproceedings.elpub.ru/jour/article/view/110

Similar Items

Similar Items