On the Structure of Cycloids Introduced by Carl Adam Petri
On the Structure of Cycloids Introduced by Carl Adam Petri
复制标题
卡尔·亚当·佩特里 (Carl Adam Petri) 介绍的摆线结构
DOI：
10.1007/978-3-319-91268-4_15
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
R. Valk
中科院分区：
文献类型：
--
作者：
R. Valk
摆线是用于模拟动作或事件过程的特殊Petri网。它们属于Petri广义系统理论的基础，有非常不同的解释，从爱因斯坦的相对论到基本的信息处理门。尽管它们的定义很简单，但它们的性质仍然没有被完全理解。这一贡献首次提供了一个正式的定义以及关于它们结构的新结果。例如，证明了周期的最小长度是局部基本电路的长度，可能是半有源跃迁数的整数倍。
Cycloids are particular Petri nets for modelling processes of actions or events. They belong to the fundaments of Petri’s general systems theory and have very different interpretations, ranging from Einstein’s relativity theory to elementary information processing gates. Despite their simple definitions, their properties are still not completely understood. This contribution provides for the first time a formal definition together with new results concerning their structure. For instance, it is shown that the minimal length of a cycle is the length of a local basic circuit, possibly decreased by an integer multiple of the number of semi-active transitions.