摘要
Petri网Ontology是关于库所、变迁和弧的概念模型,其意义在于它定义了用XML描述Petri网结构所采用的全面标记,从而规范了Petri网结构的交换格式。对应基本Petri网、库所/变迁网和高级Petri网分别是基本Ontology、分页Ontology和标签Ontology。PNML性质上就是标签Ontology。作为标准型的标签Ontology,既可给出Petri网Ontology的统一解释,也是对其进一步研究的基础。
A Petri Net Ontology is a model of concepts concerned with the place, the transition, and the arc. It is the value for Ontology to define all XML＇s marks used to describe the structure of a Petri net, consequently to standardize the transfer format of the Petri net structures. The Basic Ontology, the Ontology with Page, and the Ontology with Label are correlated respectively with the Basic Petri Net, the Predicate/Transition Net, and the High-level Petri Net. In nature, the PNML is just the Ontology with Label, As the standard type, the Ontology with Label is able to give an uniform explanation for the Petri Net Ontology, and to be a foundation for the farther researches on it.
出处
《系统仿真学报》
CAS
CSCD
北大核心
2007年第A01期34-37,共4页
Journal of System Simulation
基金
国家自然科学基金项目(60672031)
