| 摘要 |
本发明系针对以电脑为基础的系统与设备，利用派屈网路应用于时间确定性(Deterministic)之系统设计，其主要特征系在于先以统一塑模语言(Unified Modeling Language,UML)建立系统模型，确认其功能后再转换成派屈网路(Petri Nets)进行分析，最后，利用线性逻辑(Linear Logic)计算网路内，所有单元需要耗费的时间，达成时间确定性之系统设计的目标。本专利提出一套有效率的检测电脑系统时间确定性设计之装置，透过统一塑模语言、派屈网路、以及线性逻辑等方法，明确地描述电脑系统内各物件之相互作用，以达到时间确定性系统确认与验证之成果。 |
