关键词: 工作流 Petri网 库所 变迁

Abstract:

The paper presents a way of applying Petri Net techniques to workflow modeling. The method transforms the  execution manner from event-detected action to status-detected action,adopts a strategy of hierarchical block partitioning to decompose the composite events in Petri net workflow models, and simp   lifies complex logical relationship judgements into simple status judgements, which is conducive to the understanding and implementation in engineering.

Key words: workflow Petri net place translition