Prototyping for real-time system based on enhanced Petri net and production system
碩士 === 國立臺灣大學 === 資訊工程研究所 === 81 === Real-time computing systems have appeared more widely in recent times. Based upon clear and manageable specification of timing constraints structure in real-time systems development, the quality of the s...
Main Authors: | Kao,Hsiu-Che, 高脩哲 |
---|---|
Other Authors: | Hsu,Ching-Chi |
Format: | Others |
Language: | zh-TW |
Published: |
1993
|
Online Access: | http://ndltd.ncl.edu.tw/handle/99419413275227505049 |
Similar Items
-
Rapid Prototyping of Real-Time Distributed Systems - Using Petri Nets and Data-Oriented Model
by: Jyh Cheng Wang, et al.
Published: (1994) -
An UML Based Performance Evaluation of Real-Time Systems Using Timed Petri Net
by: Tanuja Shailesh, et al.
Published: (2020-11-01) -
Time Extensions of Petri Nets for Modelling and Verification of Hard Real-Time Systems
by: Tomasz Szmuc, et al.
Published: (2002-01-01) -
A Petri Net based Modeling and Verification Technique for Real-Time Embedded Systems
by: Cortés, Luis Alejandro
Published: (2001) -
Time Delays in Membrane Systems and Petri Nets
by: Bogdan Aman, et al.
Published: (2011-07-01)