CPN Tools-Assisted Simulation and Verification of Nested Petri Nets
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 wit...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Yaroslavl State University
2015-03-01
|
| Series: | Моделирование и анализ информационных систем |
| Subjects: | |
| Online Access: | https://www.mais-journal.ru/jour/article/view/61 |
| _version_ | 1826558942871814144 |
|---|---|
| author | L. W. Dworza´nski I. A. Lomazova |
| author_facet | L. W. Dworza´nski I. A. Lomazova |
| author_sort | L. W. Dworza´nski |
| collection | DOAJ |
| description | 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. |
| first_indexed | 2024-04-10T02:24:31Z |
| format | Article |
| id | doaj.art-03e13a394a664d4dbaeaeae654b2b709 |
| institution | Directory Open Access Journal |
| issn | 1818-1015 2313-5417 |
| language | English |
| last_indexed | 2025-03-14T08:52:31Z |
| publishDate | 2015-03-01 |
| publisher | Yaroslavl State University |
| record_format | Article |
| series | Моделирование и анализ информационных систем |
| spelling | doaj.art-03e13a394a664d4dbaeaeae654b2b7092025-03-02T12:46:57ZengYaroslavl State UniversityМоделирование и анализ информационных систем1818-10152313-54172015-03-0119511513010.18255/1818-1015-2012-5-115-13055CPN Tools-Assisted Simulation and Verification of Nested Petri NetsL. W. Dworza´nski0I. A. Lomazova1Национальный исследовательский университет “Высшая школа экономики”Национальный исследовательский университет “Высшая школа экономики”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.https://www.mais-journal.ru/jour/article/view/61nested petri netscolored petri netssimulationverificationreachability graph |
| spellingShingle | L. W. Dworza´nski I. A. Lomazova CPN Tools-Assisted Simulation and Verification of Nested Petri Nets Моделирование и анализ информационных систем nested petri nets colored petri nets simulation verification reachability graph |
| title | CPN Tools-Assisted Simulation and Verification of Nested Petri Nets |
| title_full | CPN Tools-Assisted Simulation and Verification of Nested Petri Nets |
| title_fullStr | CPN Tools-Assisted Simulation and Verification of Nested Petri Nets |
| title_full_unstemmed | CPN Tools-Assisted Simulation and Verification of Nested Petri Nets |
| title_short | CPN Tools-Assisted Simulation and Verification of Nested Petri Nets |
| title_sort | cpn tools assisted simulation and verification of nested petri nets |
| topic | nested petri nets colored petri nets simulation verification reachability graph |
| url | https://www.mais-journal.ru/jour/article/view/61 |
| work_keys_str_mv | AT lwdworzanski cpntoolsassistedsimulationandverificationofnestedpetrinets AT ialomazova cpntoolsassistedsimulationandverificationofnestedpetrinets |