罗伯特·洛伦茨；德塞尔，约格；加布里埃尔·胡亚斯 场景中的模型。 （英语） Zbl 1382.68152号 Jensen，Kurt（编辑）等人，《Petri网和其他并发模型事务》VII。柏林：施普林格出版社（ISBN 978-3-642-38142-3/pbk）。计算机科学课堂讲稿7480。《期刊副刊》，314-371（2013）。 摘要：从行为描述合成Petri网在不同应用领域的系统设计中具有重要应用。本文综述了基于区域的语言Petri网综合技术。给定语言中的每个单词指定搜索的Petri网的一次运行，即表示系统的一个可观察场景。我们关注不同类型因果结构（如偏序和分层序结构）语言的最新发展。因果结构表示一次运行事件之间的因果关系。可表达的因果关系例如是事件的直接和间接因果依赖性、并发性和同步性。关于无限语言，讨论了有限表示的几种可能性。作为合成的目标，使用了位置/过渡网络和抑制剂网络以及这些网络类别的一些限制。所提出的框架集成了序列语言的所有经典结果。关于整个系列，请参见[Zbl 1263.68020号]. 引用于2文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 关键词：合成；区域理论；Petri网；因果语义学；部分语言；部分订单；分层顺序结构 软件：VIP工具 PDF格式BibTeX公司 XML格式引用 \textit{R.Lorenz}等人，Lect。注释计算。科学。7480，314--371（2013；Zbl 1382.68152） 全文： 内政部 链接