Object-Based High-Level Petri Nets as a formal approach to distributed information systems

被引：0
|
作者：
Guerrero, DDS
deFigueiredo, JCA
Perkusich, A
机构：
来源：
SMC '97 CONFERENCE PROCEEDINGS - 1997 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5: CONFERENCE THEME: COMPUTATIONAL CYBERNETICS AND SIMULATION | 1997年
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
In this article we present an Object-Based High-Level Petri Net framework useful to the formal description and specification of distributed information systems. The G-CPN tool is based on the same principles of G-Nets Systems and Coloured Petri Nets. In order to allow the automatic analysis of G-CPN Systems, we present informally a mechanism of transformation into standard CP-Nets.
引用
收藏
页码：3383 / 3388
页数：6
相关论文
共 50 条
  • [41] Petri nets as executable specifications of high-level timed parallel systems
    Pommereau, F
    COMPUTATIONAL SCIENCE - ICCS 2004, PT 3, PROCEEDINGS, 2004, 3038 : 322 - 330
  • [42] A class of high-level Petri Nets: XML algebraic nets
    Tang, Da
    Li, Ye
    Wang, Xiu-Kun
    Dalian Ligong Daxue Xuebao/Journal of Dalian University of Technology, 2008, 48 (06): : 912 - 918
  • [43] A method of concurrent Object-Oriented Design using High-Level Petri Nets
    Mukhin, D
    Mikolajczak, B
    1998 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5, 1998, : 295 - 300
  • [44] Distributed control systems simulation using high level Petri nets
    Tricas, F
    Martinez, J
    MATHEMATICS AND COMPUTERS IN SIMULATION, 1998, 46 (01) : 47 - 55
  • [45] OPENET: Ontology-based engine for high-level Petri nets
    Vidal, Juan C.
    Lama, Manuel
    Bugarin, Alberto
    EXPERT SYSTEMS WITH APPLICATIONS, 2010, 37 (09) : 6493 - 6509
  • [46] Constructing SCORM compliant course based on high-level Petri nets
    Su, JM
    Tseng, SS
    Chen, CY
    Weng, JF
    Tsai, WN
    COMPUTER STANDARDS & INTERFACES, 2006, 28 (03) : 336 - 355
  • [47] Plane Object-Based High-Level Map Representation for SLAM
    Gritsenko, Pavel
    Gritsenko, Igor
    Seidakhmet, Askar
    Kwolek, Bogdan
    COMPUTER VISION AND GRAPHICS ( ICCVG 2018), 2018, 11114 : 91 - 102
  • [48] Proving correctness of distributed algorithms using high-level Petri nets - A case study
    Desel, J
    Kindler, E
    1998 INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN, PROCEEDINGS, 1998, : 177 - 186
  • [49] Defining and validating measures for object-based high-level design
    Briand, LC
    Morasca, S
    Basili, VR
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1999, 25 (05) : 722 - 743
  • [50] Formal models for multicast traffic in network on chip architectures with compositional high-level Petri nets
    Pelz, Elisabeth
    Tutsch, Dietmar
    PETRI NETS AND OTHER MODELS OF CONCURRENCY - ICATPN 2007, 2007, 4546 : 381 - +
12345