论文部分内容阅读
文中提出一种分析混和系统结构的新方法,称为一阶混和Petri网.对一阶混和Petri网进行了定义,并描述了其使能和点火规则;运用位置不变量和变迁不变量对一阶混和Petri网的结构进行分析,并通过求解混和状态方程来获得位置不变集和变迁不变集;最后用一个例子来阐明如何运用不变量来进行结构分析.