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 and elementary information processing gates to the modelling of interacting sequential processes. This article contains previously unpublished proofs of cycloid properties using linear algebra.

翻译：旋轮线是用于对动作或事件过程进行建模的特殊佩特里网。它们属于佩特里一般系统理论的基础，并具有非常不同的解释，范围从爱因斯坦的相对论和基本信息处理门，到交互式顺序过程的建模。本文包含了先前未发表的、使用线性代数对旋轮线性质进行的证明。