工作流建模主要是解决如何清晰、准确地表示企业实际的业务过程,并且以工作流模型的方法形式化的表示出来。本文采用基于Petri网的建模方式,这种建模方式集图形化和数学化于一身,是一个理想的形式化建模工具。为了适应医疗企业的实际需要,本文提出了一种基于触发时间约束的工作流模型,它将Petri网的颜色扩展与触发时间约束融合为一体,针对不同颜色标记的触发时间约束不同的特点建立了该工作流模型,并且使用划分思想对该工作流模型进行改进。最后使用规约化简和可达树分析相结合的方式对该模型进行了合理性验证,以解决传统可达树空间爆炸问题。本文采用基于时间约束的颜色Petri网对某医疗企业的实际业务流程进行建模,并采用B/S结构和J2EE技术设计实现医疗办公自动化系统。针对医疗机构的实际的办公业务流程进行研究和分析,使流程管理人员能够针对不同的业务流程建立相应的工作流模型。系统对触发时间约束进行了监控处理,从而保证流程不会长时间停留在一个具体环节中。系统使用关系数据库存储工作流模型及工作流相关数据,本文中给出了相关数据库的详细设计。由于工作流技术是实现办公自动化系统的重要环节,因此对Petri网模型进行研究,具有深远的理论和实际意义。