Toward the Minimal Universal Petri Net

@article{Zaitsev2014TowardTM,
  title={Toward the Minimal Universal Petri Net},
  author={D. Zaitsev},
  journal={IEEE Transactions on Systems, Man, and Cybernetics: Systems},
  year={2014},
  volume={44},
  pages={47-58}
}
  • D. Zaitsev
  • Published 2014
  • Computer Science
  • IEEE Transactions on Systems, Man, and Cybernetics: Systems
  • A universal Petri net with 14 places, 42 transitions, and 218 arcs was built in the class of deterministic inhibitor Petri nets (DIPNs); it is based on the minimal Turing machine (TM) of Woods and Neary with 6 states, 4 symbols, and 23 instructions, directly simulated by a Petri net. Several techniques were developed, including bi-tag system (BTS) construction on a DIPN, special encoding of TM tape by two stacks, and concise subnets that implement arithmetic encoding operations. The simulation… CONTINUE READING
    20 Citations
    A Small Universal Petri Net
    • 8
    • PDF
    Small Polynomial Time Universal Petri Nets
    • 6
    • PDF
    Universal Sleptsov net
    • D. Zaitsev
    • Computer Science
    • Int. J. Comput. Math.
    • 2017
    • 1
    Sleptsov Nets Run Fast
    • D. Zaitsev
    • Computer Science
    • IEEE Transactions on Systems, Man, and Cybernetics: Systems
    • 2016
    • 10
    Paradigm of computations on the Petri nets
    • D. Zaitsev
    • Computer Science
    • Autom. Remote. Control.
    • 2014
    • 7
    Petri Net Computers and Workflow Nets
    • 2
    Sleptsov Net Computing
    • 2
    • PDF
    Petri net Extensions and Restrictions
    Research on Petri Net System Parallel Subnet Partitioning Completeness Theory and Algorithm

    References

    SHOWING 1-10 OF 31 REFERENCES
    Universal petri net
    • 18
    A New Synchronisation Model for Multi-Level Object Petri Nets
    • 1
    Universal Inhibitor Petri Net
    • 2
    • Highly Influential
    • PDF
    An Axiomatization of the Token Game Based on Petri Algebras
    • 5
    • PDF
    Petri Net Algebra
    • 141
    Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach
    • 269
    Petri nets: Properties, analysis and applications
    • 10,745
    Petri nets for systems engineering - a guide to modeling, verification, and applications
    • 561
    • PDF
    Fault Diagnosis of Discrete-Event Systems Using Continuous Petri Nets
    • 51
    • PDF