克里斯滕森，拉尔斯·迈克尔;瑟伦·克里斯滕森 使用函数编程语言实现彩色Petri网。 （英语） Zbl 1075.68620号 高-订购符号。计算。 17，第3期，207-243（2004）. 概述：彩色Petri网（CPN）是一种面向图形的并发系统建模语言，基于Petri网和函数编程语言Standard ML。Petri网提供了建模并发和同步的原语。标准ML为建模数据操作和创建紧凑且可参数化的CPN模型提供了原语。函数编程和标准ML在CPN和支持并发系统建模、仿真、验证和性能分析的CPN计算机工具的开发中发挥了重要作用。在建模语言层面，标准ML扩展了Petri网，具有典型工业项目中规模和复杂性的建模系统所需的实际表达能力。在实现层，标准ML被用于实现CPN的形式语义，为CPN计算机工具提供了理论基础。本文概述了函数编程和标准ML在CPN建模语言和支持的计算机工具中的应用。我们详细介绍了用于实现CPN形式语义的关键算法和技术，并调查了一些CPN用于系统设计和分析的案例研究。我们还演示了标准ML编程环境的使用如何允许使用Petri网实现系统。 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 68甲18 函数编程和lambda演算 68号30 软件工程的数学方面（规范、验证、度量、需求等） 关键词：分布式并行计算;实现技术;编程环境和工具;彩色Petri网;高级Petri网;Petri网 软件：玛丽亚;洛拉 PDF格式BibTeX公司 XML格式引用 \textit{L.M.克里斯滕森}和\textit{S.克里斯滕森}，高-订购符号。计算。17，第3号，207--243（2004；Zbl 1075.68620） 全文： 内政部