The Application of Predicate/Transition Petri Net in Equipment Information Collect and Manage System

Cheng Peng; Pan Qing Wang; Zheng Xie

doi:10.4028/www.scientific.net/AMR.978.272

Paper Titles

Applied-Information Technology in Tourism Management System Research and Design Based on J2EE
p.236

Application of Electronic Materials and Information System in Autonomous Learning of Learners
p.240

Design and Implementation of E-Commerce Recommendation System Based on Ontology Technology
p.244

Analysis of Routing Protocols for Wireless Sensor Networks Based on Improved Ant Colony Optimization Algorithm
p.248

Application of BP Neural Network and GPRS in Design of Supply Water Management Information System in Campus
p.252

The Design of Wireless Sensor Networks and Data Analysis in Smart Grids
p.257

Applied-Information Technology with Design and Development of Bluetooth PSTN Gateway and Audio Terminal
p.261

Study on the Application of Real Options in Coal Resources Investment
p.265

The Application of Predicate/Transition Petri Net in Equipment Information Collect and Manage System
p.272

HomeAdvanced Materials ResearchAdvanced Materials Research Vol. 978The Application of Predicate/Transition Petri Net...

The Application of Predicate/Transition Petri Net in Equipment Information Collect and Manage System

Abstract:

The formal method becomes the important method of software specification elucidation gradually and explain to have integrity, consistency and have no two through a born specification of form method the characteristics of precision, the Petri net is a kind of the sketch turns of formal method, call a predicate/transition petri net is a kind of deluxe Petri net, the structure of the deluxe Petri net and traditional Petri net homology, but the position in the deluxe Petri net, move and Hu power heavy had an abundant content, finally use to call a predicate/transition petri net to material the information collect the formal description of managing the system.1 preface

You might also be interested in these eBooks

View Preview

Info:

Periodical:

Advanced Materials Research (Volume 978)

Pages:

272-275

DOI:

https://doi.org/10.4028/www.scientific.net/AMR.978.272

Citation:

Cite this paper

Online since:

June 2014

Authors:

Cheng Peng*, Pan Qing Wang, Zheng Xie

Keywords:

Formal Method, Manage System, Predicate/Transition Petri Net

Export:

RIS, BibTeX

Price:

Permissions CCC:

Request Permissions

Permissions PLS:

Request Permissions

Сopyright:

Citation:

* - Corresponding Author

References

[1] Spivey J M. The Z notation：a reference manual [M]. PrenticeHall，Englewood cliffs，NJ, (2008).

Google Scholar

[2] KanC, HeX. High level algebraic petri nets[J]. Information and Software Technology 2006, 37（1）23-30.

Google Scholar

[3] Milner R. A complete inference system for a class of regular behaviors[J]. Journal of Competer and System Sciences, 2009, 28(3): 439-466.

Google Scholar

[4] Hoare C A R. Communicating Sequential Processes[M]. New York: Prentice Hall, (2010).

Google Scholar

[5] Peterson J L. Petri net theory and modeling of systems [M]. Prentice Hall，(2008).

Google Scholar

[6] Clarke E，Wing J. Formal methods：state of the art and future[J]. ACM Computing Surveys 2005, 28（4）：72-76.

Google Scholar

[7] LouchkaPopova-Zeugmann，On Time Petri Nets[J]Journal Information Processing and Cybernetics EIK, 2008, 25(3): 26-30.

Google Scholar

[8] Brookes S D, Hoare C A R, Roscoe A W. A theory of communicating processes [J]. Journal of the ACM, 2009, 31(3): 560-599.

Google Scholar