PETRI NET DEFINITION OF A SYSTEM DESCRIPTION LANGUAGE.

被引：0
|
作者：
Jensen, Kurt
Kyng, Morten
Madsen, Ole Lehrmann
机构：
来源：
Instrument Maintenance Management | 1979年 / 70卷
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
A language is introduced for the description of systems with concurrency, and presents a formal definition of its semantics. The language is based on Delta and the semantic model is an extension of Petri nets with a data part and with expressions attached to transitions and to places.
引用
收藏
页码：348 / 368
相关论文
共 50 条
  • [1] DEFINITION OF THE BOND GRAPH LANGUAGE.
    Rosenberg, R.C.
    Karnopp, D.C.
    American Society of Mechanical Engineers (Paper), 1972, (72 -Aut-T):
  • [2] On properties of concurrent system based on Petri net language
    Jiang, Chang-Jun
    Lu, Wei-Ming
    Ruan Jian Xue Bao/Journal of Software, 2001, 12 (04): : 512 - 520
  • [3] POSTSCRIPT - A PAGE DESCRIPTION LANGUAGE.
    Geschke, Charles M.
    1600,
  • [4] AN EXTENSION IN THE DEFINITION OF A PETRI NET EXECUTION
    GALLARD, RH
    COMPUTER JOURNAL, 1987, 30 (01): : 16 - 19
  • [5] The Petri Net Markup Language
    Weber, M
    Kindler, E
    PETRI NET TECHNOLOGY FOR COMMUNICATION-BASED SYSTEMS, 2003, 2472 : 124 - 144
  • [6] An object oriented Petri net language for embedded system design
    Esser, R
    EIGHTH IEEE INTERNATIONAL WORKSHOP ON SOFTWARE TECHNOLOGY AND ENGINEERING PRACTICE INCORPORATING COMPUTER AIDED SOFTWARE ENGINEERING, PROCEEDINGS, 1997, : 216 - 223
  • [7] SDL: CCITT SPECIFICATION AND DESCRIPTION LANGUAGE.
    Rockstrom, A.
    Saracco, Roberto
    CSELT Rapporti Tecnici (Centro Studi e Laboratori Telecomunicazioni), 1982, 10 (02): : 101 - 105
  • [8] Pumping lemma of Petri net language
    Jiang, Chang-Jun
    Liu, Guan-Jun
    Jisuanji Xuebao/Chinese Journal of Computers, 2006, 29 (02): : 274 - 278
  • [9] Process net system of Petri net
    Zeng, Qing-Tian
    Wu, Zhe-Hui
    Jisuanji Xuebao/Chinese Journal of Computers, 2002, 25 (12): : 1308 - 1315
  • [10] Formalized Description and Analysis of FTP on Petri Net
    Bin, Cai
    2015 INTERNATIONAL CONFERENCE ON INTELLIGENT INFORMATION HIDING AND MULTIMEDIA SIGNAL PROCESSING (IIH-MSP), 2015, : 176 - 179
12345