将具有同步机制系统规格化的方法

摘要

一种模拟(modelling)系统的方法，此系统中含有多个程序(process)，并把正在执行之程序加上标记(token)以资区别各个程序是独立的。本方法所适用的系统有三个元件，分别是标记(token)、位置(place)或称为程序(process)以及事件(event or transition)。标记即指出哪些位置之程序正在执行，事件乃藉标记之进入及释出(fire)来进行各种程序之同步。同步可为简单之AND或OR关系或复杂之布林函数(Booleanfunction)之关系。本方法用于具复杂同步性系统之订定规格(specification)，描述一串步骤以将一系统以PetriNet表达出来，对PetriNet无法描述之OR同步以及布林函数同步，本方法均能顺利描述，以进行系统之规格化。

主权项

1.一种办公室自动化过程中,模拟(modelling)系统的方法至少包含下列步骤:确认复数个程序(process);若无同步问题,则将该复数个程序依照可能之先后次序排列出来,并以具有方向的图型(directedgraph)加上箭头;在有同步问题的各事件处,对每一个程序检查其先前的程序间的同步关系,若是先前的程序必须做完才能启动,则事件为AND同步;若是先前的程序不必做完就启动,则本事件为非AND同步,则以输出和输入标记的逻辑关系决定以何种逻辑式代表本事件;以及在系统上加上标记,来表示程序正在此处执行。图式简单说明:第一图为传统的Petri Net描述系统的方法。第二图A-第二图C为本发明用在描述一个办公室流程自动化的方法之示意图。