Two-Tone Colored Petri Net and its Application in PLC

Jian Hua Yang

doi:10.4028/www.scientific.net/AMM.404.618

Paper Titles

Design and Implementation of Constant Palstance Control System of Combine Cylinder Based on STM32
p.592

Design of Micro-Positive Pressure Control System for Clean Plant Air Conditioning
p.599

A Self-Repairing Control Scheme for Quadrotor Helicopter via Active Disturbance Rejection Control
p.603

Research on Searching Guidance of TV Guided Missile
p.609

Two-Tone Colored Petri Net and its Application in PLC
p.618

Design of Robot Lawn Mower Based on Computer Vision
p.624

A Comprehensive Approach of Advanced Error Troubleshooting in Intelligent Manufacturing Systems
p.631

Broadband Low-Frequency Vibration Energy Harvester with a Rolling Mass
p.635

Bottleneck Simulation of Two-Lane Traffic CA Model with Turn Signal
p.640

HomeApplied Mechanics and MaterialsApplied Mechanics and Materials Vol. 404Two-Tone Colored Petri Net and its Application in...

Two-Tone Colored Petri Net and its Application in PLC

Abstract:

2-tone colored Petri net, where one color of tokens stands for logical value true and the other color of tokens for logical value false, is proposed to solve problem of inconsistency between programmable logic control. Symmetry 2-tone colored Petri net is also developed to keep the dynamic behavior in accordance with that of the original Petri net so that invariant method can be employed to analyze properties of nets. Some theorems are given to judge circular control based on reachable tree and T-invariants, and the algorithm for obtaining all minimal T-invariants of symmetry 2-tone colored Petri net is given. Finally, detecting possible dead-loop in symmetry 2-tone colored Petri net is also discussed.

You might also be interested in these eBooks

Engineering Decisions for Manufacturing Systems

View Preview

Info:

Periodical:

Applied Mechanics and Materials (Volume 404)

Pages:

618-623

DOI:

https://doi.org/10.4028/www.scientific.net/AMM.404.618

Citation:

Cite this paper

Online since:

September 2013

Authors:

Jian Hua Yang

Keywords:

Colored Petri Net, Invariant, Programming Logic Control

Export:

RIS, BibTeX

Price:

Permissions:

Request Permissions

References

[1] K. Clements-Jewery, W. Jeffcoat, The PLC workbook : programmable logic controllers made easy. New York : Prentice Hall (1996).

Google Scholar

[2] Geoff Cutts1, Shaun Rattigan2, Using Petri Nets to develop programs for PLC systems, Application and Theory of Petri Nets 1992, Lecture Notes in Computer Science, Springer Berlin, pp.368-372 (1992).

DOI: 10.1007/3-540-55676-1_21

Google Scholar

[3] Zhou, MengChu, Twiss, Edward, Comparison of relay ladder logic programming and petri net approach for sequential industrial control systems, IEEE Conference on Control Applications - Proceedings, pp.748-753 (1995).

DOI: 10.1109/cca.1995.555842

Google Scholar

[4] Lee, Gi Bum，Lee, Jin S., Conversion of LD program into augmented PN graph, International Journal of Modelling and Simulation, v 22, n 4, 205-2044, pp.201-212 (2002).

DOI: 10.1080/02286203.2002.11442241

Google Scholar

[5] Petri C A, Kommunication mit automaten, Ph. D dissertation, University of Bonn, Bonn, West Germany (1962).

Google Scholar

[6] Luis Gomes, A. Steiger-Garcao, Programmable controller design based on a synchronized colored Petri net model and integrating fuzzy reasoning, Lecture Notes in Computer Science, Springer Berlin, Application and Theory of Petri Nets, pp.218-237 (1995).

DOI: 10.1007/3-540-60029-9_42

Google Scholar

[7] Kurt Jessen, Colored Petri nets: basic concepts, analysis methods, and practical use, 2nd Edition, Springer, Berlin, New York (1996).

Google Scholar

[8] Lee, Jin-Shyan, Hsu, Pau-Lo, PLC-based design for the sequence controller in discrete event systems, IEEE Conference on Control Applications - Proceedings, v 1, pp.929-934 (2000).

DOI: 10.1109/cca.2000.897588

Google Scholar

[9] Martinez, J. and M. Silva, A simple and fast algorithm to obtain all invariant of a generalized Petri net, Lecture notes in computer science, no52, Springer-Verlag, Berlin, pp.302-310 (1982).

Google Scholar