Partial Petri Net Languages and their Properties

被引：0
|
作者：
A. Mahadeer
R. Arulprakasam
V. R. Dare
机构：
[1] SRM Institute of Science and Technology,Department of Mathematics, College of Engineering and Technology
[2] Madras Christian College,Department of Mathematics
来源：
International Journal of Information Technology | 2024年 / 16卷 / 6期
关键词：
Partial words; Partial languages; Petri Nets; Closure properties; 68Q45; 68Q70; 68Q85;
D O I：
10.1007/s41870-024-01903-0
中图分类号：
学科分类号：
摘要：
The languages derived from Petri Net provides a efficient technique for verification, validation and synthesis for the system. Partial words are extensively used in the fields such as bioinformatics, pattern matching and text searching. In this paper, we introduce a Partial Petri Net and then define its associated languages. Further, we discuss the closure properties that hold over these derived languages.
引用
收藏
页码：3663 / 3676
页数：13
相关论文
共 50 条
  • [41] On some analysis properties of colored Petri net using underlying net
    Ohta, A
    Tsuji, K
    [J]. 2004 47TH MIDWEST SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOL III, CONFERENCE PROCEEDINGS, 2004, : 395 - 398
  • [42] New Petri net controller for distributed Petri net
    Dohi, Y
    Takano, W
    Horiguchi, T
    Murakoshi, H
    [J]. IECON '98 - PROCEEDINGS OF THE 24TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, VOLS 1-4, 1998, : 143 - 148
  • [43] Comparison of Different Algorithms to Synthesize a Petri Net from a Partial Language
    Bergenthum, Robin
    Desel, Joerg
    Mauser, Sebastian
    [J]. TRANSACTIONS ON PETRI NETS AND OTHER MODELS OF CONCURRENCY III, 2009, 5800 : 216 - 243
  • [44] Synthesis of Petri Nets from Term Based Representations of Infinite Partial Languages
    Bergenthum, Robin
    Desel, Joerg
    Mauser, Sebastian
    Lorenz, Robert
    [J]. FUNDAMENTA INFORMATICAE, 2009, 95 (01) : 187 - 217
  • [45] Implementation of parameterized net classes with the Petri net kernel of the >>Petri Net Baukasten<<
    Ermel, C
    Weber, M
    [J]. UNIFYING PETRI NETS: ADVANCES IN PETRI NETS, 2001, 2128 : 79 - 102
  • [46] On properties of concurrent system based on Petri net language
    Jiang, Chang-Jun
    Lu, Wei-Ming
    [J]. Ruan Jian Xue Bao/Journal of Software, 2001, 12 (04): : 512 - 520
  • [47] Incremental development of safety properties in Petri net transformations
    Padberg, J
    Gajewsky, M
    Hoffmann, K
    [J]. THEORY AND APPLICATION TO GRAPH TRANSFORMATIONS, 2000, 1764 : 410 - 425
  • [48] Fuzzy timed Petri net definitions, properties, and applications
    Ding, ZH
    Bunke, H
    Schneider, M
    Kandel, A
    [J]. MATHEMATICAL AND COMPUTER MODELLING, 2005, 41 (2-3) : 345 - 360
  • [49] Closure Properties of Watson-Crick Petri Net
    Jan, Nurhidaya Mohamad
    Heng, Fong Wan
    Sarmin, Nor Haniza
    Turaev, Sherzod
    [J]. PROCEEDING OF THE 25TH NATIONAL SYMPOSIUM ON MATHEMATICAL SCIENCES (SKSM25): MATHEMATICAL SCIENCES AS THE CORE OF INTELLECTUAL EXCELLENCE, 2018, 1974
  • [50] The Petri Net Kernel: An infrastructure for building Petri net tools
    Kindler E.
    Weber M.
    [J]. International Journal on Software Tools for Technology Transfer, 2001, 3 (4) : 486 - 497
12345