将系统规格化的方法

摘要

一种将系统规格化(specification)的方法，此将系统规格化的方法是一种分析系统的方法，此系统中含有多个程序(process)，并把正在执行之程序加上标记(token)以资区别。本方法有三要件，分别是标记(token)、位置(place)或称为程序(process)以及事件(event or transition)。本方法之特点力在标记中加上数据(data)或档案(file)，并将事件(event)改为计算机程式(computer program)，以读取和处理输入该事件的标记以及标记中的数据，并将标记中的数据放在输出接记中往后续程序中。而下一个程序是被其标记中的数据所控制的，在标记中的数据为0时，则不会进行本程序。

主权项

1.一种办公室自动化过程中,模拟(modelling)系统的方法至少包含下列步骤:确认复数个程序(process);将该复数个程序依照可能之先后次序排列出来,再以以PetriNet的性质描述其同步问题;各个会因标记而不执行的机动变换程序前之事件(event)以计算机程式表示,若是先前的程序必须做完才能启动,则复数个程序为AND同步;以及在系统上加上标记,来表示程序正在此处执行。图式简单说明:第一图为传统的Petri Net描述系统的方法。第二图A-第二图C为本发明用在描述一个办公室流程自动化的方法之示意图。