Representing Bounded Petri Nets by Process Calculi

Abstract

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.

Key words: Petri nets, process calculi, encoding

CLC Number:

TP301.2

DONG Zhen-Hua-a, b , DONG Xiao-Ju-a, b . Representing Bounded Petri Nets by Process Calculi[J]. Journal of Shanghai Jiaotong University, 2011, 45(07): 980-984.

[1]	Duan Jizhong, Su Yan. Improved Sensitivity Encoding Parallel Magnetic Resonance Imaging Reconstruction Algorithm Based on Efficient Sum of Outer Products Dictionary Learning [J]. J Shanghai Jiaotong Univ Sci, 2025, 30(3): 555-565.
[2]	LIU Wen^{1, 3} (刘文), XU Jianxin^{2, 4} (许剑新), YANG Genke^{1, 3∗}(杨根科), CHEN Yuanfang⁵ (陈媛芳). Online Vehicle Forensics Method of Responsible Party for Accidents Based on LSTM-BiDBN External Intrusion Detection [J]. J Shanghai Jiaotong Univ Sci, 2024, 29(6): 1161-1168.
[3]	CHEN Xiao^1,2 (陈潇), ZHANG Rui^1,2 (张瑞), TANG Xinyi^1,2 (汤心溢), QIAN Juan^3∗ (钱娟). Prediction of Pediatric Sepsis Using a Deep Encoding Network with Cross Features [J]. J Shanghai Jiaotong Univ Sci, 2024, 29(1): 131-140.
[4]	JIN Lijie, WU Yatao. Radar Signal Modulation Type Recognition Based on Double CNN [J]. Air & Space Defense, 2022, 5(1): 66-70.
[5]	LI Shaoyong* (李绍勇), WU Zongli (吴宗礼), LI Hailin (李海林), WEI Xianhong (魏先宏), CAI Ying (蔡颖), HOU Caiqin (厚彩琴). Control Algorithm Using a Revised MIP Method to Deal with Livelocks in S4R of Petri Nets [J]. Journal of Shanghai Jiao Tong University (Science), 2019, 24(2): 190-195.
[6]	Mu L.; Han G.; Liu Z.. Construction of rate-compatible (RC) low-density parity-check (LDPC) convolutional codes based on RC-LDPC block codes [J]. J Shanghai Jiaotong Univ Sci, 2016, 21(6): 679-683.
[7]	PAN Qian1*(潘谦), HE Xing1 (何星), CAI Yun-ze1 (蔡云泽),WANG Zhi-hua2 (王治华), SU Fan2 (苏凡). Improved Real-Coded Genetic Algorithm Solution for Unit Commitment Problem Considering Energy Saving and Emission Reduction Demands [J]. Journal of shanghai Jiaotong University (Science), 2015, 20(2): 218-223.
[8]	XU Xian1*(徐贤), LONG Huan2 (龙环). A Logical Characterization for Linear Higher-Order Processes [J]. Journal of shanghai Jiaotong University (Science), 2015, 20(2): 185-194.
[9]	BAO Yidong1, 2,WU Dongmei1. A Novel Algorithm for Collision Detection Based on Octree of Adaptive Subdivision and Encoding [J]. Journal of Shanghai Jiaotong University, 2015, 49(08): 1114-1122.
[10]	DU Jiyong1,2,ZHANG Fengming1,HUI Xiaobin1,LI Yongbin1. Overlapping Coalition Generation Using Improved Continuous Particle Swarm Optimization [J]. Journal of Shanghai Jiaotong University, 2013, 47(12): 1918-1923.
[11]	YIN Qiang* (尹强), LONG Huan (龙环). Process Passing Calculus, Revisited [J]. Journal of shanghai Jiaotong University (Science), 2013, 18(1): 29-36.
[12]	SHEN Jian-Liang, QI Shu-Bo, LI Jin-Wen, LIU Lei, LI Si-Kun. A Flit-Switch Bufferless Router Based on Encoding Allocation [J]. Journal of Shanghai Jiaotong University, 2013, 47(01): 144-148.
[13]	NI Ye-feng (倪叶峰), FAN Yuan-chao (范远超), TAN Xin-cheng (谈昕澄) CUI Jin (崔锦), WANG Xiao-ling (王晓玲). Numeric-Based XML Labeling Schema by Generalized Dynamic Method [J]. Journal of shanghai Jiaotong University (Science), 2012, 17(2): 203-208.
[14]	LUO Ji-Liang, CHEN Xue-Kun, QI Peng-Fei, ZHAO Po. Sequential Controller Synthesis and Formal Models for Batch Chemical Processes [J]. Journal of Shanghai Jiaotong University, 2012, 46(12): 1896-1900.

Representing Bounded Petri Nets by Process Calculi

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 14

Recommended Articles

Metrics

Comments