Full-Text Search:
Home|Journal Papers|About CNKI|User Service|FAQ|Contact Us|中文
《Chinese Journal of Computers》 1997-03
Add to Favorite Get Latest Update

PETRI NET BASED PROTOCOL ANALYZER

LUO Junzhou;GU Guanqun;XIE Junqing(Department of Computer Science and Engineering, Southeast University, Nanjing 210096)  
According to the research objectives of Petri net based protocol engineering workstation, this paper presents the basic functions of protocol engineering workstation, and outlines the EPr/TN net system that is used as formal description tool. Then, PESAT, a set of computer-aided tools for the protocol specification and verification, is introduced, its function features and implementation techniques are stated. Furthermore, an example is used to describe the PESAT functions. Finally, the further work on PESAT and the prospect of protocol engineering workstation are given.
【Fund】: 国家自然科学基金 江苏省自然科学基金
【CateGory Index】: TP393.03
Download(CAJ format) Download(PDF format)
CAJViewer7.0 supports all the CNKI file formats; AdobeReader only supports the PDF format.
【References】
Chinese Journal Full-text Database 8 Hits
1 YUE Xiao-bo, CHEN Li-jing (Changsha University of Science and Technology, Changsha 410076, China);Research Surveys on Application of the Petri Net[J];Journal of Changsha Communications University;2004-02
2 Du Yuyue Li Xiaozhong Cao Defan (Department of Computer Science, Liaocheng Teachers University, Liaocheng 252059);On Structural Property Preservation by Synchronization Composition of Petri Nets[J];Journal of Southeast University;1999-05
3 Wang Zhi, Yu Haibin (Shenyang Institute of Automation, Chinese Academy of Science Shenyang 110015);A kind of Bumpless Transfer Block System and Its Colored Petri Net Model[J];High Technology Letters;2001-03
4 DENG Ying, GU Tian long (Dept. of Computer, Guilin 541004,China);The Research on the Analysis Tool and Technology for the Petri Net-based Network Protocol[J];Journal of Guilin Institute of Electronic Technology;2002-01
5 ZHAO Yang YI Xian-qing LUO Xue-shan(C~4ISR Key Laboratory of Defense Technology,National University of Defense Technology,Changsha 410073,China);Research on Dataflow Modeling with Petri Net[J];Computer Science;2008-11
6 TONG Ming,LI Zhi-shu,WANG Xu-song,SUN Xiao(School of Computer Science,Sichuan University,Chengdu Sichuan 610064,China);Modeling and Analysis of Socks Protocol Based on Petri Net[J];Application Research of Computers;2006-07
7 LUO Jun zhou SHEN Jun\ GU Guan qun(Department of Computer Science and Engineering\ Southeast University\ Nanjing\ 210096);From Petri Nets to Formal Description Techniques and Protocol Engineering[J];JOURNAL OF SOFTWARE;2000-05
8 LUO Jun-zhou,YANG Xiao-yan (Dept of Computer Science and Engineering,Southeast Univ, Nanjing 210096, China);Conversion from Protocol Petri Net to Estelle[J];Acta Simulata Systematica Sinica;2003-S1
【Co-references】
Chinese Journal Full-text Database 10 Hits
1 ZHONG Hong1,HUANG Liu-sheng2,LUO Yong-long2(1.School of Computer Science and Technology,Anhui University,Hefei 230039,China;2.Department of Computer Science,University of Science and Technology of China,Hefei 230027,China);Research on secure electronic voting scheme[J];Journal of Anhui University(Natural Sciences);2007-03
2 CHEN Xiang~1,\ XIA Guo-ping~2,\ LI Tao~2(1.School of Management and Economics, Beijing Institute of Technology, Beijing100081, China; 2.School of Economics and Management, Beijing University of Aeronautics and Astronatics, Beijing 100083, China);Study on Soundness of Workflow Model Based on Petri Net[J];Journal of Beijing Institute of Technology;2004-12
3 ZHANG Zhi ming, WANG Yue, TAO Ran, YAN Fei, ZHOU Si yong (Department of Electronic Engineering, Beijing Institute of Technology, Beijing100081);Resource Allocation Using Timed Petri Nets and Heuristic Search[J];北京理工大学学报(英文版);2000-02
4 YUE Xiao-bo, CHEN Li-jing (Changsha University of Science and Technology, Changsha 410076, China);Research Surveys on Application of the Petri Net[J];Journal of Changsha Communications University;2004-02
5 Zhu Hongli Liu Luyuan (School of Electrical Engineering and Automation, Tianjin University, Tianjin 300072);Modeling of a Router based on Stochastic Petri Net and Solution of State-explosion[J];Journal of Yanshan University;2004-03
6 Wang Nan Lü Fangcheng Liu Yunpeng Li Heming (North China Electric Power University Baoding 071003 China);Study on Application of Petri Nets Model of Transformer Fault Diagnosis Based on Decision Table Reduction[J];Transactions of China Electrotechnical Society;2003-06
7 WU Zhi,XU Jia-yi (School of Applied Mathematics, UEST of China Chengdu 610054);Immune Principles Applications of Multi-Agent-Based IDS[J];Journal of University of Electronic Science and Technology of China;2005-03
8 QIN Zhi-guang LUO Xu-cheng (School of Computer Science and Engineering,Univ.ofElectron.Sci.& Tech.of China Chengdu 610054);Fair Exchange Protocol in Peer-to-Peer Sharing System without Dedicated[J];Journal of University of Electronic Science and Technology of China;2006-S1
9 Xie Xiaoli (Nanjing Normal University, Nanjing, 210042);Application of Fault Detection Diagnostics (FDD) in Power Network Technique[J];Electric Power Construction;2003-03
10 Li Wen; Zhu Liming(Dept. of Electrical Engineering);Study Status Quo on the Task Translation Model of Hierarchically Intelligent Control Systems[J];JOURNAL OF DALIAN RAILWAY INSTITUTE;1996-02
【Secondary References】
Chinese Journal Full-text Database 10 Hits
1 JIANG Wei, JIN Guobin(Shanghai University, Shanghai 200072, China);The Application of Petri Nets in Packaging and Printing Production[J];Packaging Engineering;2005-01
2 YUE Xiao-bo, CHEN Li-jing (Changsha University of Science and Technology, Changsha 410076, China);Research Surveys on Application of the Petri Net[J];Journal of Changsha Communications University;2004-02
3 ZHAO Jian-li, WEN Ying-you, SHANG Rui-qiang, WANG Guang-xing (School of Information Science & Engineering, Northeastern University, Shenyang 110004, China. );Petri Net Description of a New Satellite Network Management Protocol and Its Verification[J];JOURNAL OF NORTHEASTERN UNIVERSITY;2004-04
4 LI Hai-long,CAO Yao-qin,CHEN Hong-man(The second Artillery Engineering Institute,Xi'an 710025,China);Design and verification of early warning protocol based on role access[J];Electronics Optics & Control;2007-02
5 LIU Lina(Information Center of NO.7 Oil Production Plant ,Daqing 163517);Discuss the session mechanism and the cookie mechanism[J];Computer Programming Skills & Maintenance;2008-16
6 Zhang Lu et al;A Study of Petri Nets and its Expansion[J];Computer Development & Applications;2009-07
7 LI Dong-jiang1,LIU Jin-ge1,YUAN Jian-ping2,REN Li-ya3(1.School of Computer Science and Technology,North China Electric Power University,Changping District,Beijing 102206,China;2.Jingjiang Electric Power Corporation,Jingjiang 214500,Jiangsu Province,China;3.Taizhou Electric Power Corporation,Taizhou 225300,Jiangsu Province,China);Development of Distributed System Based on Common Object Request Broker Architecture and Object-Oriented Colored Petri Nets[J];Power System Technology;2007-S1
8 Li Yanbo Feng Zhiyong(Tianjin University,Tianjin 300072);Research of Tetra mobile station air interface protocol stack software development[J];Electronic Measurement Technology;2007-05
9 Zhang Yu-ting~(①③) Liao Jian-xin~①Dai Zhong~②Zhu Xiao-min~①Wu Wei~③~①(State Key Lab of Networking and Switching Technology,Beijing University of Posts and Telecommunications,Beijing 100876,China)~②(China Mobile Communications Corporation,Beijing 100032,China)~③(Research Institute of China Mobile,Beijing 100053,China);An Instant Messaging Inter-working Model between SIMPLE and IMPS Based on Petri Nets[J];Journal of Electronics & Information Technology;2008-10
10 DENG Ying, GU Tian long (Dept. of Computer, Guilin 541004,China);The Research on the Analysis Tool and Technology for the Petri Net-based Network Protocol[J];Journal of Guilin Institute of Electronic Technology;2002-01
China Proceedings of conference Full-text Database 1 Hits
1 Peng Ai~1,Huang Lan~1,Wang Zhongyi~1,Wang Cheng~2,Mao Nan~1,Liu Zhicun~1 (1.College of Information and Electrical Engineering,China Agricultural University, Beijing 100083,China; 2.National Engineering Research Center for Information Technology in Agriculture, Beijing 100089,China);The Preliminary Study about Improvement Program of Routing Protocol in Wireless Sensor Networks[A];[C];2007
©2006 Tsinghua Tongfang Knowledge Network Technology Co., Ltd.(Beijing)(TTKN) All rights reserved