7 research outputs found
Analysis of Mobile Agents using Invariants of Object Nets
Mobility induces new challenges for dynamic systems, which need a new conceptional treatment: systems, that deal for example with mobile agents, need extended security concepts to handle the risks, induced by foreign, untrusted agents. In this contribution we use object nets to model mobile systems. Object nets are Petri nets which have Petri nets as tokens β an approach known as the nets-withinnets paradigm. Object nets are called elementary if the net system has a two levelled structure. In this work we apply structural analysis methods for object nets β namely place invariants β to a simple case study modelling mobile agents
ΠΠΌΠΈΡΠ°ΡΠΈΠΎΠ½Π½ΠΎΠ΅ ΠΌΠΎΠ΄Π΅Π»ΠΈΡΠΎΠ²Π°Π½ΠΈΠ΅ ΠΈ Π²Π΅ΡΠΈΡΠΈΠΊΠ°ΡΠΈΡ Π²Π»ΠΎΠΆΠ΅Π½Π½ΡΡ ΡΠ΅ΡΠ΅ΠΉ ΠΠ΅ΡΡΠΈ Ρ ΠΈΡΠΏΠΎΠ»ΡΠ·ΠΎΠ²Π°Π½ΠΈΠ΅ΠΌ CPNTools
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.ΠΠ»ΠΎΠΆΠ΅Π½Π½ΡΠ΅ ΡΠ΅ΡΠΈ ΠΠ΅ΡΡΠΈ (NP-ΡΠ΅ΡΠΈ) β ΡΡΠΎ ΡΠ°ΡΡΠΈΡΠ΅Π½ΠΈΠ΅ ΡΠ΅ΡΠ΅ΠΉ ΠΠ΅ΡΡΠΈ Π² ΡΠ°ΠΌΠΊΠ°Ρ
ΠΏΠΎΠ΄Ρ
ΠΎΠ΄Π° βnets-within-netsβ, ΠΊΠΎΠ³Π΄Π° ΡΠΈΡΠΊΠΈ Π² ΡΠ°Π·ΠΌΠ΅ΡΠΊΠ΅ ΡΠ΅ΡΠΈ ΡΠ°ΠΌΠΈ ΡΠ²Π»ΡΡΡΡΡ ΡΠ΅ΡΡΠΌΠΈ ΠΠ΅ΡΡΠΈ ΠΈ ΠΎΠ±Π»Π°Π΄Π°ΡΡ Π°Π²ΡΠΎΠ½ΠΎΠΌΠ½ΡΠΌ ΠΏΠΎΠ²Π΅Π΄Π΅Π½ΠΈΠ΅ΠΌ, ΠΏΡΠΈ ΡΡΠΎΠΌ ΠΈΠΌΠ΅ΡΡΡΡ ΡΡΠ΅Π΄ΡΡΠ²Π° ΡΠΈΠ½Ρ
ΡΠΎΠ½ΠΈΠ·Π°ΡΠΈΠΈ ΡΠ΅ΡΠ΅Π²ΡΡ
ΡΠΈΡΠ΅ΠΊ ΠΈ ΡΠΈΡΡΠ΅ΠΌΠ½ΠΎΠΉ ΡΠ΅ΡΠΈ. Π€ΠΎΡΠΌΠ°Π»ΠΈΠ·ΠΌ NP-ΡΠ΅ΡΠ΅ΠΉ ΠΏΠΎΠ·Π²ΠΎΠ»ΡΠ΅Ρ Π΅ΡΡΠ΅ΡΡΠ²Π΅Π½Π½ΡΠΌ ΠΎΠ±ΡΠ°Π·ΠΎΠΌ ΠΌΠΎΠ΄Π΅Π»ΠΈΡΠΎΠ²Π°ΡΡ ΠΌΠ½ΠΎΠ³ΠΎΡΡΠΎΠ²Π½Π΅Π²ΡΠ΅ ΠΌΡΠ»ΡΡΠΈΠ°Π³Π΅Π½ΡΠ½ΡΠ΅ ΡΠΈΡΡΠ΅ΠΌΡ Ρ Π΄ΠΈΠ½Π°ΠΌΠΈΡΠ΅ΡΠΊΠΎΠΉ ΡΡΡΡΠΊΡΡΡΠΎΠΉ. Π Π½Π°ΡΡΠΎΡΡΠ΅Π΅ Π²ΡΠ΅ΠΌΡ Π½Π΅ ΡΡΡΠ΅ΡΡΠ²ΡΠ΅Ρ ΠΈΠ½ΡΡΡΡΠΌΠ΅Π½ΡΠ°Π»ΡΠ½ΠΎΠΉ ΠΏΠΎΠ΄Π΄Π΅ΡΠΆΠΊΠΈ ΠΈΠΌΠΈΡΠ°ΡΠΈΠΎΠ½Π½ΠΎΠ³ΠΎ ΠΌΠΎΠ΄Π΅Π»ΠΈΡΠΎΠ²Π°Π½ΠΈΡ ΠΈ Π°Π½Π°Π»ΠΈΠ·Π° Π²Π»ΠΎΠΆΠ΅Π½Π½ΡΡ
ΡΠ΅ΡΠ΅ΠΉ ΠΠ΅ΡΡΠΈ. Π ΡΠ°Π±ΠΎΡΠ΅ ΠΏΡΠ΅Π΄Π»Π°Π³Π°Π΅ΡΡΡ ΠΏΡΠΎΠ²ΠΎΠ΄ΠΈΡΡ ΠΈΠΌΠΈΡΠ°ΡΠΈΠΎΠ½Π½ΠΎΠ΅ ΠΌΠΎΠ΄Π΅Π»ΠΈΡΠΎΠ²Π°Π½ΠΈΠ΅ ΠΈ ΠΏΠΎΡΡΡΠΎΠ΅Π½ΠΈΠ΅ Π³ΡΠ°ΡΠ° Π΄ΠΎΡΡΠΈΠΆΠΈΠΌΠΎΡΡΠΈ Π΄Π»Ρ NP-ΡΠ΅ΡΠ΅ΠΉ ΠΏΡΡΠ΅ΠΌ ΠΏΠ΅ΡΠ΅Π²ΠΎΠ΄Π° NP-ΡΠ΅ΡΠ΅ΠΉ Π² ΡΠ°ΡΠΊΡΠ°ΡΠ΅Π½Π½ΡΠ΅ ΡΠ΅ΡΠΈ ΠΠ΅ΡΡΠΈ ΠΈ ΠΈΡΠΏΠΎΠ»ΡΠ·ΠΎΠ²Π°Π½ΠΈΡ ΠΈΠ½ΡΡΡΡΠΌΠ΅Π½ΡΠ°ΡΠΈΡ CPN Tools Π² ΠΊΠ°ΡΠ΅ΡΡΠ²Π΅ Π²ΠΈΡΡΡΠ°Π»ΡΠ½ΠΎΠΉ ΠΌΠ°ΡΠΈΠ½Ρ Π΄Π»Ρ ΠΈΡΠΏΠΎΠ»Π½Π΅Π½ΠΈΡ ΠΈ ΡΡΠ΅Π΄ΡΡΠ²Π° Π°Π²ΡΠΎΠΌΠ°ΡΠΈΡΠ΅ΡΠΊΠΎΠ³ΠΎ Π°Π½Π°Π»ΠΈΠ·Π° ΠΈΡ- Ρ
ΠΎΠ΄Π½ΡΡ
NP-ΡΠ΅ΡΠ΅ΠΉ
Recent advances in petri nets and concurrency
CEUR Workshop Proceeding