关于古田不式的若干问题的探讨.pdfVIP

摘 要 本文讨论了变迁系统的乘运算和加运算，并对它们的性质进行了深 入分析，得到它们合成后点分离性质和边分离性质是保持的，由此 得到基本变迁系统的合成是封闭的等结论：引进了网系统伪乘运算 的概念，分析了它与变迁系统乘运算巧妙的对应关系；最后讨论了 伪乘运算的安全性、守恒性和活性等代数性质的保持性。 关键字：变迁系统，网系统，乘合成运算，加合成运算，域。基本 变迁系统，基本网系统，活性。守恒性，安全性 ＼ ABSTRACT This the andthe of papeldiscusses transition products coproducts their the systems，and resultthat deeplyanalyses properties，thengets node and isalso separationproperty edgeseparationpropertypreserved， thus thatthe transitionis gets ofelementary closed； composition systems the of ofnet is the cone印t introduced，and pseudo-productsysterns felichous relation ofthiskindof and of correspondence pseudo-product the oftransition the discussesthe product end，this systems；in PapIer ofthe ofPetri nets algebraic such硒safeness． propertypseudo-product corlservativenessandliveness． word：transition Key system，net transition net elementary system，elementary