吕迪格·瓦尔克 Petri摆线系统的形式属性。 （英语） Zbl 1436.68215号 芬丹。通知。 169，编号1-2，85-121（2019）. 摘要：旋风体是一种特殊的Petri网，用于模拟行动或事件的过程。它们属于Petri广义系统理论的基础，有着非常不同的解释，从爱因斯坦的相对论到基本信息处理门。尽管它们的定义很简单，但它们的属性仍然没有完全被理解。这一贡献首次提供了一个正式的定义以及关于其结构的新结果。旋风被证明是安全的。结果表明，周期的最小长度是局部基本电路的长度，可能会减少半主动跃迁次数的整数倍。这些结果允许从网络系统的静态特性中找到摆线的定义参数。对于退化摆线也得到了类似的结果。 引用于2文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 关键词：Petri网的分析与综合;Petri网的结构;摆线;一般网络理论;退化摆线 PDF格式BibTeX公司 XML格式引用 \textit{R.Valk}，芬达姆。通知。169，编号1--2，85-121（2019；Zbl 1436.68215） 全文： DOI程序