Please use this identifier to cite or link to this item: https://ah.nccu.edu.tw/handle/140.119/27053


Title: A Synthesis Technique for General Petri Nets
Authors: 趙玉
Chao,Daniel Yuh;Wang,David T.
Date: 1994-02
Issue Date: 2009-01-17 16:06:01 (UTC+8)
Abstract: A user-friendly CAD graphical tool, running on Sun workstations, has been designed for the design, verification, simulation, and synthesis of protocols based on an interactive tool for Petri net and state diagram designs. Special features of this tool are: capability of modelling of both control and data flows, reduction and analysis, simulation of network behavior and performance, coding (parameterized protocols and automatic implementation) synthesis (two party protocol and ordinary Petri nets), animation and flexible design. Since it is Petri net based it allows simulation during all design phases and has extensive applications such as parallel debugging and simulation, expert systems, etc. Future enhancements of this tool are also discussed
Relation: Journal of Systems Integration 4(1), 67-102
Data Type: article
DOI 連結: http://dx.doi.org/10.1007/BF01975673
Appears in Collections:[資訊管理學系] 期刊論文

Files in This Item:

File SizeFormat
index.html0KbHTML1307View/Open


All items in 學術集成 are protected by copyright, with all rights reserved.


社群 sharing