|
|
|
| Representing Bounded Petri Nets by Process Calculi |
| DONG Zhen-Hua-a, b , DONG Xiao-Ju-a, b |
| (a.BASICS, Department of Computer Science； b.MOEMS Key Laboratory for Intelligent Computing and Intelligent Systems， Shanghai Jiaotong University, Shanghai 200240, China) |
|
|
|
|
Abstract A formal encoding method was given to represent bounded Petri nets by CCS which is one kind model of process calculi for researching the relationship between Petri nets and process calculi. A Place/Transition net could be encoded to a finite process by this method. The process and the original net satisfy the operational and observational correspondence. In this view, they have the same behaviors. It shows that the encoding method is fully abstract with respect to the labeled bisimulation, which is an equivalence relation between nets.
|
|
Received: 18 July 2010
Published: 29 July 2011
|
|
|
|
|
|
| No related articles found! |
|
|
|
|
