Incorporating deduction into object Petri nets

被引：0
|
作者：
Ravindran, E
Hui, SC
机构：
来源：
INFORMATION INTELLIGENCE AND SYSTEMS, VOLS 1-4 | 1996年
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
We propose a Petri net model which inherits features of object oriented and deductive paradigms of computing. Embedding these features at the modelling level facilitates specification and validation of problem descriptions and their attempted solutions. The proposed model extends the Object Petri net model by incorporating domain specific constraints in the form of rules. Such a model can capture deducto-object oriented computations, wherein the modeller organises computations along object oriented, or deductive lines or a combination of both.
引用
收藏
页码：2305 / 2310
页数：6
相关论文
共 50 条
  • [41] Object Petri nets for synthesis of the control of automated manufacture systems
    Nied, A
    [J]. ROBOTICS, AUTOMATION AND CONTROL AND MANUFACTURING: TRENDS, PRINCIPLES AND APPLICATIONS, 2002, 14 : 365 - 370
  • [42] A survey of object-oriented Petri nets and analysis methods
    Miyamoto, T
    Kumagai, S
    [J]. IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2005, E88A (11) : 2964 - 2971
  • [43] Modeling deliberative agents using Object Oriented Petri Nets
    Koci, Radek
    Mazal, Zdenek
    Zboril, Frantisek
    Janousek, Vladimir
    [J]. PROCEEDINGS OF THE 7TH INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS DESIGN AND APPLICATIONS, 2007, : 15 - +
  • [44] Coverability of reset Petri nets and other well-structured transition systems by partial deduction
    Leuschel, M
    Lehmann, H
    [J]. COMPUTATIONAL LOGIC - CL 2000, 2000, 1861 : 101 - 115
  • [45] Object Oriented Petri Nets Usage in Project Portfolio Modeling Domain
    Kvetonova, Sarka
    Janousek, Vladimir
    [J]. EUROPEAN SIMULATION AND MODELLING CONFERENCE 2008, 2008, : 467 - 472
  • [46] Object Tracking and Video Event Recognition with Fuzzy Semantic Petri Nets
    Szwed, Piotr
    Komorkiewicz, Mateusz
    [J]. 2013 FEDERATED CONFERENCE ON COMPUTER SCIENCE AND INFORMATION SYSTEMS (FEDCSIS), 2013, : 167 - 174
  • [47] Modeling and application of railway safety system through object petri nets
    Zhang Ye
    Jia Limin
    Cai Guoqiang
    [J]. IMECS 2007: INTERNATIONAL MULTICONFERENCE OF ENGINEERS AND COMPUTER SCIENTISTS, VOLS I AND II, 2007, : 2173 - +
  • [48] Integrating Object Oriented Design with Petri nets - Case study with SYROCO
    Mikolajczak, B
    Sefranek, C
    [J]. 7TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL XIV, PROCEEDINGS: COMPUTER SCIENCE, ENGINEERING AND APPLICATIONS, 2003, : 265 - 270
  • [49] Specification of industrial digital controllers with Object-Oriented Petri Nets
    Machado, RJ
    Fernandes, JM
    Proenca, AJ
    [J]. ISIE '97 - PROCEEDINGS OF THE IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, VOLS 1-3, 1997, : 78 - 83
  • [50] A new synchronisation model for multi-level object Petri nets
    Farwer, B
    Kudlek, M
    [J]. FUNDAMENTA INFORMATICAE, 2004, 60 (1-4) : 131 - 142
12345