马可·梅克尔 玛丽亚：代数系统网的模块可达性分析器。 （英语） Zbl 1047.68554号 Esparza，Javier（编辑）等人，《Petri网的应用和理论》，2002年。第23届国际会议，2002年ICATPN，澳大利亚阿德莱德，2002年6月24日至30日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-43787-8）。莱克特。注释计算。科学。2360, 434-444 (2002). 概要：Maria对具有公平约束的高级Petri网进行仿真、详尽可达性分析和实时LTL模型检查。代数包含强大的内置数据类型和操作。模型可以导出到低级Petri网和标记转换系统。翻译程序允许Maria分析转换系统以及用过程语言或面向对象语言或高级规范（如SDL）编写的分布式计算机程序。Maria已经在可移植的C和C++中实现，并且在GNU通用公共许可证的条件下可以免费使用。关于整个系列，请参见[Zbl 0992.00053号]. 引用于4文件 MSC公司： 68N99型 软件理论 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 软件：班德拉；玛丽亚；洛拉 PDF格式BibTeX公司 XML格式引用 \textit{M.Mäkelä}，莱克特。注释计算。科学。2360434--444（2002年；Zbl 1047.68554） 全文： 链接