Recursion Model for Cyber Net System Based on Petri Nets
暂无分享,去创建一个
Cyber net system is a sub-class of Petri Nets.Compared with Place/Transition system and elementary net system,it has stronger ability of description and modeling.The paper gives the model of elementary four arithmetical calculation and two operators.Thus,a model of direct recursion is created by grade abstract.The method embodies the basic idea for formal software development.