No abstract

No abstract

No abstract

The process of problem solving, calculating and design takes on character that a condition will be true forever once it is true． ． ． ．When workflow petri net is adopted to express such process, the scale of the network is too large to analysis. Hence the information/solver workflow net is presented based on information/solver extended petri net system. The corresponding definitions are given. The soundness and liveness of the net are analyzed. Followed the concept of compatible minimum same-start-same-end sub workflow net is proposed. The minimum property and compatibility of sub-net to original net are discussed. Finally the design process of sliding mode control strategies is provided as an example to illustrate the modeling ability of information/solver workflow net. At the same time the function of compatible minimum same-start-same-end sub workflow net in design process generation is explained. Keywords-petri net, workflow net, information/solver net, sliding mode control将失去令牌，这显然与实际情况不符。如果给求 c 的变迁加上返回前集的输出弧 [1] ，网络规模将加大，给分 析带来不便。为此，文献[2]提出了一种信息/求解扩展 petri 网系统，该网系统具有变迁发生后前集不失去标记 的特点，因而具有有界、安全、拟序行为关系、不可回复 和有限步终止等优点，便于求解、计算、设计过程的表达 与分析。求解、计算与设计过程是人类科技活动中的一个 重要环节，对这类活动的工作流程进行建模与分析具有重 上海市重点学科建设项目支持(资助号：S30501) 要的理论意义与工程意义 [3]

No abstract