Petri Nets Representing the Evolution of Elementary Cellular Automata

被引:1
|
作者
Barragan, I. [1 ]
Tuoh, J. C. S. [2 ]
Medina, J. [3 ]
机构
[1] Univ Autonoma Estado Hidalgo, Ind Engn, Pachuca, Hidalgo, Mexico
[2] Univ Autonoma Estado Hidalgo, Pachuca, Hidalgo, Mexico
[3] Univ Autonoma Estado Hidalgo, Adv Res Ind Engn Ctr, Pachuca, Hidalgo, Mexico
关键词
Petri nets; elementary cellular automata; matrix operations; SYSTEMS; CHAOS;
D O I
10.1109/TLA.2015.7350065
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
A Petri net (PN) is a directed graph which consists of two kinds of nodes called places and transitions. Besides their graphical representation, PN possess a mathematical formalism based on the incidence matrix and the state equation. In this paper we show that PN can be used as a general tool to represent the evolution of any elementary cellular automaton (ECA). This is performed by matrix operations obtained from the state equation of the PN which represent the cellular automaton and the use of a logical operator. It is presented an algorithm to construct a PN for any ECA and we give some comparative examples between the evolution of markings of the PN and the evolution of the respective ECA.
引用
收藏
页码:3103 / 3112
页数:10
相关论文
共 50 条
  • [1] Simulating Cellular Automata by Infinite Petri Nets
    Zaitsev, Dmitry A.
    JOURNAL OF CELLULAR AUTOMATA, 2018, 13 (1-2) : 121 - 144
  • [2] DP AUTOMATA AND PETRI NETS
    Kere, Monica
    KEPT 2011: KNOWLEDGE ENGINEERING PRINCIPLES AND TECHNIQUES, 2011, : 305 - 314
  • [3] Petri nets, situations, and automata
    Kindler, E
    APPLICATIONS AND THEORY OF PETRI NETS 2002, 2002, 2360 : 217 - 236
  • [4] Pushdown automata, multiset automata, and Petri nets
    Hirshfeld, Y
    Moller, F
    THEORETICAL COMPUTER SCIENCE, 2001, 256 (1-2) : 3 - 21
  • [5] Cellular Automata: Elementary Cellular Automata
    Bhardwaj, Rupali
    Upadhyay, Anil
    JOURNAL OF ORGANIZATIONAL AND END USER COMPUTING, 2017, 29 (01) : 42 - 50
  • [6] Scale-invariant cellular automata and self-similar Petri nets
    Schaller, M.
    Svozil, K.
    EUROPEAN PHYSICAL JOURNAL B, 2009, 69 (02): : 297 - 311
  • [7] Scale-invariant cellular automata and self-similar Petri nets
    M. Schaller
    K. Svozil
    The European Physical Journal B, 2009, 69 : 297 - 311
  • [8] Critical Observability for Automata and Petri Nets
    Masopust, Tomas
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2020, 65 (01) : 341 - 346
  • [9] From Petri nets to automata with concurrency
    Droste, M
    Shortt, RM
    APPLIED CATEGORICAL STRUCTURES, 2002, 10 (02) : 173 - 191
  • [10] From Petri Nets to Automata with Concurrency
    Manfred Droste
    R. M. Shortt
    Applied Categorical Structures, 2002, 10 : 173 - 191