%0 Journal Article
%T Modeling Deds With Object-oriented High-Level Retri Nets--Consistent Nets on Objectoriented High-level Petri Nets<br>DEDS对象化高级Petri网模型研究——对象化高级Petri网上的一致性网络
%A Jiang Xusheng
%A <br>姜旭升
%J 自动化学报
%D 1995
%I 
%X In this paper, in order to deal with the non-determinism of the firings of transitions in 0-nets, predicates are used to classify the markings at places. Consistent nets, which are exactly equivalent to colored Petri nets, are formed upon O-nets. The language of an O-net is a sublanguge of any of its consistent nets, which means that the invariants of O-nets can be defined and analyzed with respects to conventional coloured Petri nets.
%K Object-oriented high-level Petri nets
%K coloured nets
%K consistent nets<br>Petri网
%K 一致性网络
%K 加色网
%K DEDS
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=E76622685B64B2AA896A7F777B64EB3A&aid=0CBCD514A4BC69C5E1357C26D6EE05E4&yid=BBCD5003575B2B5F&vid=659D3B06EBF534A7&iid=38B194292C032A66&sid=160561E9A96393DE&eid=86C0C9A759FDA8CA&journal_id=0254-4156&journal_name=自动化学报&referenced_num=0&reference_num=1