膜系统和Petri网中的时滞
Time Delays in Membrane Systems and Petri Nets
摘要：
研究了具有显式资源和并行性的形式主义中的时间方面，并提出了时间膜系统和具有局部性的时间Petri网之间的形式联系。对于这两种形式主义，时间并没有增加表达能力;然而，时间膜系统和时间Petri网在描述时间是关键资源的分子现象时更加灵活。我们建立了时间膜系统和时间Petri网与地方之间的联系，并证明了它们之间的操作对应关系。
英文摘要：
Timing aspects in formalisms with explicit resources and parallelism are investigated, and it is presented a formal link between timed membrane systems and timed Petri nets with localities. For both formalisms, timing does not increase the expressive power; however both timed membrane systems and timed Petri nets are more flexible in describing molecular phenomena where time is a critical resource. We establish a link between timed membrane systems and timed Petri nets with localities, and prove an operational correspondence between them.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
