Abstract
A study on trees and Petri nets ”is prepared after a deep study on certain concepts of Graph Theory. Due to the
importance of trees a brief discussion on trees is done. A Study on Tree and Petri nets deals with explanation of
Properties of trees, Enumeration and Spanning Trees. Binary Trees, Dynamic Graph Algorithms and Petri nets are explained with definitions and examples. The Tree structure in other Branches includes the Characterization of a Tree and includes few problems on Trees.
Keywords: Construction, Women, Female Employment, Tree, Dynamic Graph.
References
B. Berthomieu, M. Menashe, A State Enumeration approach for analyzing time Petri Nets, Proceedings of 3rd European Workshop on Applications and Theory of Petri Nets, Varenna, Italy, Sept. 1982.
R. E. Bloomfield, J. H. Cheng, J. Górski, Towards A Common Safety Description Model, Proceedings of Safecomp’91, Pergamon Press, 1991.
J. Górski, Extending Safety Analysis Techniques With Formal Semantics, In Technology and Assessment of Safety Critical Systems,(F.J. Redmill and T. Anderson, Eds.), Springer-Verlag, 1994.
J. Górski, A. Wardziński, Formalizing Fault Trees, Proceedings of SCSS’95, Brighton, UK, (F.J. Redmill and T. Anderson, Eds.), Springer-Verlag, 1995.