论文部分内容阅读
根据业务过程的特征和要求，总结当前建模技术的不足之处，在经典Petri网和对象Petfi网建模技术的基础上。提出了扩展对象Petri网建模方法，以提高模型的可重用性，降低建模过程的复杂度，加强对动态流程的描述能力，解决临界资源的共享问题。通过一个具体实例阐述了如何建立扩展对象Petri网模型，通过设计时间映射机制，控制资源的有效调度和流程的正常运行；引入有色令牌思想，提高模型对动态过程的描述能力：利用死锁检测机制．验证模型对流程描述的正确性和有效性。