Abstract
Nested Petri nets (NP-nets) are an extension of Petri net formalism within the “netswithin-nets” approach, when tokens in a marking are Petri nets, which have an autonomous behavior and are synchronized with the system net. The formalism of NP-nets allows modeling multi-level multi-agent systems with dynamic structure in a natural way. Currently, there is no tool for supporting NP-nets simulation and analysis. The paper proposes the translation of NP-nets into Colored Petri nets and the use of CPN Tools as a virtual machine for NP-nets modeling, simulation and automatic verification.
Highlights
Вложенные сети Петри (NP-сети) это расширение сетей Петри в рамках подхода “nets-within-nets”, когда фишки в разметке сети сами являются сетями Петри и обладают автономным поведением, при этом имеются средства синхронизации сетевых фишек и системной сети
В мультиагентных систем (МАС) вычисление распределено между множеством узлов-агентов взаимодействующих друг с другом для достижения локальных целей, а их совместная скоординированная работа приводит к достижению глобальных целей системы
The paper proposes the translation of Nested Petri nets (NP-nets) into Colored Petri nets and the use of CPN Tools as a virtual machine for NP-nets modeling, simulation and automatic verification
Summary
В настоящее время наблюдается смещение парадигмы вычислений от традиционной, в которой вычислительная мощность рабочей станции, сервера или группы серверов является основным ресурсом производимых вычислений, к новым способам организации вычислений облачные, повсеместные, коммунальные, краевые вычисления. Поэтому разработка методов анализа поведенческих свойств вложенных систем Петри является важной проблемой. В связи с этим большой интерес представляет разработка методов и подходов для имитационного моделирования и верификации вложенных сетей Петри. Несмотря на достоинства NP-сетей, отсутствие инструментальной поддержки для имитационного моделирования и анализа свойств NP-сетей сильно ограничивает возможности их применения и препятствует дальнейшему развитию и распространению этого формализма. Раскрашенные сети Петри (CP-сети) [11] это класс сетей Петри высокого уровня, примечательный широким спектром применений, а также системой CPN Tools [12], обеспечивающей мощную инструментальную поддержку имитационного моделирования и анализа поведенческих свойств. Обосновываются возможности и полезность трансляции NP-сетей в CP-сети и использования инструментария CPN Tools для имитационного моделирования и анализа NP-сетей. Что другой подход к разработке практически применимых методов верификации вложенных сетей Петри может быть связан с разработкой эффективных алгоритмов для отдельных подклассов NP-сетей. В работах [7, 8] было показано, что при некоторых условиях живость и ограниченность NP-сети может быть установлена композиционально, то есть как следствие соответственно живости и ограниченности ее компонентов
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have