| dc.creator (作者) | 趙玉 | zh_TW |
| dc.creator (作者) | Chao,Daniel Yuh;Wang,David T. | - |
| dc.date (日期) | 1994-02 | en_US |
| dc.date.accessioned | 17-一月-2009 16:06:01 (UTC+8) | - |
| dc.date.available | 17-一月-2009 16:06:01 (UTC+8) | - |
| dc.date.issued (上傳時間) | 17-一月-2009 16:06:01 (UTC+8) | - |
| dc.identifier.uri (URI) | https://nccur.lib.nccu.edu.tw/handle/140.119/27053 | - |
| dc.description.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 | - |
| dc.format | application/ | en_US |
| dc.language | en | en_US |
| dc.language | en-US | en_US |
| dc.language.iso | en_US | - |
| dc.relation (關聯) | Journal of Systems Integration 4(1), 67-102 | en_US |
| dc.title (題名) | A Synthesis Technique for General Petri Nets | en_US |
| dc.type (資料類型) | article | en |
| dc.identifier.doi (DOI) | 10.1007/BF01975673 | en_US |
| dc.doi.uri (DOI) | http://dx.doi.org/10.1007/BF01975673 | en_US |
