Modeling and Analysis of System Behaviors Using Dynamic Petri nets : 동적 패트리넷을 이용한 시스템 행위의 모델링 및 분석

다국어 초록 (Multilingual Abstract)

This paper proposes a new model, its behavior semantic as well as analysis of dynamic properties. This model considers each token has a type which is defined by high-level Petri nets and this type is called a token type. All tokens in the same place have a same token type. When token moves, state are changed and structures are changed, hence this model can model dynamic behaviors. Furthermore, groups of Petri nets are considered as a type of token and model is defined recursively, so this model can be used when dealing with systems which have limited number of components as well as a large system.
In addition, this model is able to describe some of interactions between different parts. The tokens of the net can be changed dynamically when they are fired. This model is called Dynamic Petri nets (DPNs). This paper also uses analysis method of Xinming Ye, Jiantao Zhou and Xiaoyu Song[8] to verify DPNs and uses Internet Banking System in order to demonstrate in effectiveness

목차 (Table of Contents)

• 1. Introduction 1
• 2. Basic concepts and related studies 3
• 2.1 Comparison to existing solution 3
• 2.2 Conventional Petri nets 7
• 2.2.1 Structure of Petri nets 9
• 2.2.2 The Petri nets graph 10
• 2.2.3 Markings 11
• 2.2.4 Execution rules for marked Petri nets 12
• 2.2.5 Weakness of Petri nets in modeling dynamic behaviors 13
• 3. Hierarchy of Dynamic Petri nets 15
• 3.1 Formal definition of Dynamic Petri nets 16
• 3.2 Behavior Semantic of Dynamic Petri nets 19
• 3.2.1 Dynamic Petri nets marking 19
• 3.2.2 Enabling 20
• 3.2.3 Firing 22
• 3.2.4 Interaction in the Dynamic Petri nets 23
• 4. Analysis of Dynamic Petri nets 32
• 4.1 Reachability graphs 33
• 4.2 Construction of the reachability graph 34
• 4.3 Dynamic Petri nets analysis using reachability graphs 41
• 4.3.1 Safeness and boundedness 41
• 4.3.2 Conservation 41
• 4.3.3 Reachability and coverability 42
• 4.3.4 Liveness 42
• 5. Application of Dynamic Petri nets 44
• 5.1 Modeling and analysis process 44
• 5.2 Modeling for an Internet Banking System (IBS) 45
• 5.2.1 Simple description of an IBS 45
• 5.2.2 Decomposing description 46
• 5.2.3 Modeling the system 53
• 5.3 Analysis of model 64
• 6. Conclusions 65
• References 66