论文部分内容阅读
要想用 Petri 网对系统进行有效的模拟和分析，就必须先建立起可靠准确的 Petri 网模型，目前很少有文献专门研究 Petri 网对系统的建模问题。对此，提出了基于系统行为序列的 Petri 网自动建模方法。该方法将系统所有行为序列组合为正规语言表达式，对于不同的系统，给出标注函数（即变迁和系统行为的映射关系），就可以建立起系统的 Petri 网模型。给出了电话呼叫业务建立用户Petri 网模型的一个实例。该方法形式化强、通用性好，建立的模型标准规范，并且可实现机器自动建模，在目前的系统建模研究方面取