Petri net has been used for modeling and analyzing the concurrent systems. There exists the trade-off between modeling and analyzing the system.
To simplify the analysis the algebraic approach is presented for Petri net. We show that Petri net is transformed into the regular net that permits decomposition and synthesis of net analysis.
Structured net that can modularize the net is introduced.
Concurrent system을 모형화하고 분석하는데 Petri net을 많이 사용하여 왔다.
그러나 모형화 능력과 분석 능력에는 일장일단이 있으므로 응용에 따라 net의 구조를 확장 혹은 축소한다.
대수적인 접근 방법은 모형화와 분석에 새로운 가능성을 제시하였다.
구조 네트는 Petri net을 다중화시킬 수 있음을 보여 주었다.
