×

Petri网和转换系统分析。 (英语) Zbl 1433.68239号

Knight,Sophia(ed.)等人,第八届交互与并发体验研讨会论文集,ICE’15,法国格勒诺布尔,2015年6月4日至5日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)189,53-67(2015)。
摘要:本文描述了一个独立的无钻工具,支持分析(标记的)位置/转移Petri网,并将标记的转移系统合成为Petri网。它是作为一组独立的专用算法来实现的,这些算法被设计成模块化、可移植、可扩展和高效的操作。
关于整个系列,请参见[Zbl 1433.68021号].

MSC公司:

68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等)

软件:

恰当的
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接