Petri Based Formal Verification of Data Session Transmission for Lighting Control System

Yu Jian Jiang; Wei Jiang; Hui Ren

doi:10.4028/www.scientific.net/AMR.760-762.827

Paper Titles

The Optimization and Experiment of the Low-Pressure Water Jet Assisted Laser Etching on Al₂O₃ Ceramic
p.806

Synthesis, Crystal Growth and Characterization of Organic Nonlinear Optical Co-Crystal: 4-N, N-dimethylamino-4-N-methyl-stilbazolium (3-nitrobenzenesulfonate)_0.6I_0.4
p.811

Effect of Growth Conditions on Morphology and Photoluminescence Properties of ZnO Nanowires Fabricated by Thermal Evaporation without a Metal Catalyst
p.816

Photoluminescent Properties of Y₂O₃:Tb³⁺ Nanowires in AAO
p.821

Petri Based Formal Verification of Data Session Transmission for Lighting Control System
p.827

A Remote Monitoring System of Water Injection well Based on TWACS
p.831

Research on Wells Monitoring Background Management Software Based on Labview
p.836

Design and Analysis of a New Dynamic Tracking Performance Testing System
p.841

Study of Fiber Grating Strain Sensing to On-Line Monitoring for Optical Cable of Electric Power System
p.846

HomeAdvanced Materials ResearchAdvanced Materials Research Vols. 760-762Petri Based Formal Verification of Data Session...

Petri Based Formal Verification of Data Session Transmission for Lighting Control System

Abstract:

In this paper, traditional data transmission strategy of lighting control system is compared. Defects are analyzed. Through Petri based formal verification, the Petri model of SDT is built. Rationality of the model and SDT is validated, which proves that SDT is reachable. Reliability and circulation characteristics of the protocol are also proved.

You might also be interested in these eBooks

View Preview

Info:

Periodical:

Advanced Materials Research (Volumes 760-762)

Pages:

827-830

DOI:

https://doi.org/10.4028/www.scientific.net/AMR.760-762.827

Citation:

Cite this paper

Online since:

September 2013

Authors:

Yu Jian Jiang, Wei Jiang, Hui Ren

Keywords:

Lighting Control, Petri, Protocol, SDT, Unicast

Export:

RIS, BibTeX

Price:

Permissions CCC:

Request Permissions

Permissions PLS:

Request Permissions

Сopyright:

Citation:

References

[1] [Arch] Entertainment Technology Architecture for Control Networks. E1. 17"ACN" Architecture [EB/OL]. http: /www. esta. org/tsp/，2005-10-14.

Google Scholar

[2] [DMX] Entertainment Services and Technology Association. ANSI BSR E1. 11 [EB/OL]. USITT.

Google Scholar

[3] DMX-512-A- Asynchronous Serial Digital Data Transmission Standard for Controlling Lighting Equipment and Accessories. http: /www. esta. org/tsp/，(2004).

Google Scholar

[4] Jiang wei，Jiang yujian. Research on Anycast for Lighting Control System. Engineering Management and Service Sciences (EMS 2009) . Beijing：2009. 9.

Google Scholar

[5] [Art-Net]Artistic License (UK) Ltd 2002-2007. Specification for the Art-Net II Ethernet Communication Standard [EB/OL]. http: /www. Artistic License. com, Version AB，2007-2-26.

Google Scholar

[6] [SDT] ANSI BSR E1. 17-200X. for Entertainment Technology Multipurpose Network Control Protocol Suite-Session Data Transport Protocol[EB/OL]. http: / www. esta. org/tsp/，2006- 3-10.

Google Scholar

[7] Chongyi Yuan. Petri net theory[M]. Beijing: Electronic Industry Press，2005，3.

Google Scholar