曼纽尔·席尔瓦;雷卡德，劳拉 时间Petri网的连续化：从性能评估到观察和控制。 （英语） Zbl 1128.68386号 Ciardo，Gianfranco（编辑）等人，《Petri网的应用和理论》，2005年。第26届国际会议，ICATPN 2005，迈阿密，佛罗里达州，美国，2005年6月20日至25日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-26301-2/pbk）。计算机科学课堂讲稿3536，26-47（2005）。 摘要：状态爆炸是离散事件系统分析和综合中的一个基本问题。连续Petri网可以看作是离散模型的松弛，允许更高效（在某些情况下是多项式时间）的分析和综合算法。然而，可以通过牺牲某些特性的可分析性来降低计算成本。此外，一些网络系统不允许任何形式的连续化。本工作首先考虑了这些方面以及可用于离散系统连续松弛的一些替代形式。稍后将特别强调性能评估、参数设计以及标记（即状态）观察和控制方面的一些结果。即使今天有大量的连续网络系统结果可用，许多基本问题仍然没有解决。导言中列出了其中一些内容，作为对其进行研究的邀请。关于整个系列，请参见[Zbl 1076.68004号]. 引用于5文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） PDF格式BibTeX公司 XML格式引用 \textit{M.Silva}和\textit{L.Recalde}，莱克特。注释计算。科学。3536，26-47（2005；Zbl 1128.68386） 全文： 内政部