Composition Patterns of Logical Net Elements

Wei Liu; Yu Yue Du; Liang Qi; Chun Yan

doi:10.4028/www.scientific.net/AMR.557-559.2011

Paper Titles

Coating Humic Acid on Vermiculite Surface for the Adsorption of Nickel(II)
p.1989

Microstructure and Corrosion Resistance of Microarc Oxidation Coatings on AZ31 Magnesium Alloy Extrusion Profiles
p.1993

Effect of Nitrogen Flow Rate on the Structure and Properties of TiN Thin Films Deposited onto β-Type Ti-15Mo-3Nb-3Al-0.2Si Alloy Substrates by Reactive Magnetron Sputtering
p.1998

Energy Storage of NiO/TiO₂ Bilayer Films and its Effectiveness in the Degradation of Acid Orange 7
p.2002

Composition Patterns of Logical Net Elements
p.2011

Mathematical Model for the Tree Leaf Shape and Estimation of Leaf Mass
p.2015

The N-Th Canonical Roots of Matrices
p.2021

Multimedia Technology Application in Teaching Basketball Skills
p.2025

Technical Analysis on Three-Dimensional Virtual Learning Community
p.2029

HomeAdvanced Materials ResearchAdvanced Materials Research Vols. 557-559Composition Patterns of Logical Net Elements

Composition Patterns of Logical Net Elements

Abstract:

A logical net element model is defined according to logical Petri net in this paper.On the basis of logical expression reasoning, the compositional operations and matching patterns of LNEs are presented. Some sufficient conditions to judge the matching pattern of two composite LNEs are obtained by theorems.

You might also be interested in these eBooks

View Preview

Info:

Periodical:

Advanced Materials Research (Volumes 557-559)

Pages:

2011-2014

DOI:

https://doi.org/10.4028/www.scientific.net/AMR.557-559.2011

Citation:

Cite this paper

Online since:

July 2012

Authors:

Wei Liu, Yu Yue Du, Liang Qi, Chun Yan

Keywords:

Compositional Operations, Logical Expressions, Logical Net Element, Matching Patterns

Export:

RIS, BibTeX

Price:

Permissions CCC:

Request Permissions

Permissions PLS:

Request Permissions

Сopyright:

Citation:

References

[1] T. Murata. Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE, vol. 77, no. 4 (1989), pp.541-580,.

Google Scholar

[2] J.C. Wang, Y. Deng, and G. Xu. Reachability analysis of real-time systems using time Petri nets. IEEE Transactions on Systems, Man, and Cybernetics-Part B: Cybernetics, Vol.30, No.5 (2000), pp.725-736.

DOI: 10.1109/3477.875448

Google Scholar

[3] K. Jensen. Coloured Petri nets-basic concepts, analysis methods and practical use. Volume 1-3. EATCS Monographs on Theoretical Computer Science. Springer(1997).

DOI: 10.1007/978-3-642-60794-3

Google Scholar

[4] A.Kusiak , H.H Yang. Modeling design cycles with stochastic Petri nets. American Society of Mechanical Engineers, Production Engineering Division (Publication) PED, Vol 59 (1992), pp.375-385.

Google Scholar

[5] Y. Y. Du, C. J. Jiang, and M. C. Zhou. Modeling and Analysis of Real-Time Cooperative Systems Using Petri Nets," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, Vol. 37, no. 5 (2007), pp.643-654.

DOI: 10.1109/tsmca.2007.902622

Google Scholar

[6] Y. Y. Du, and B. Q. Guo, Logic Petri Nets and Equivalency, Inf. Techn. J., Vol. 8, no. 1 (2009). pp.95-100.

Google Scholar

[7] W. Liu, , Y.Y Du,. and C. Yan, Soundness preservation in composed logical time workflow nets. Enterprise Information System, Vol 6 (2012), pp.95-113

DOI: 10.1080/17517575.2011.617472

Google Scholar