Abstract
Petri net is a potential mathematical and graphical modelling tool, used to examine the properties of various complex discrete event and distributed systems. In this paper, a Petri net variant, called Fuzzy Petri net (FPN) has been used to represent Fuzzy Production propositions of a rule based system, where a fuzzy production proposition explains the fuzzy relation among two propositions. For this purpose, another Petri net variant, known as Boolean Petri net (BPN) is considered because of its practical significance. BPNs can be used to represent active and inactive stages of a system like switching circuits; to qualitatively describe gene regulatory interactions etc. The Fuzzy Production propositions of BPN have been represented using Fuzzy Petri net and a precedent-subsequent relation between the two fuzzy propositions of BPNs has been checked using fuzzified propositional algorithm. This relation provides an important property of BPNs based on initial marking of Petri nets and the obtained truth degree of the success node validates the belief strength of this property.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Chaouiya, C.: Petri net modelling of biological networks. Brief. Bioinform. 8(4), 210–219 (2007)
Chen, S.M., Ke, J.S., Chang, J.F.: Knowledge representation using fuzzy Petri nets. IEEE Trans. Knowl. Data Eng. 2(3), 311–319 (1990)
Hamed, R.I., Ahson, S.I., Parveen, R.: A new approach for modelling gene regulatory networks using fuzzy Petri nets. J. Integr. Bioinform. 7(1), 113 (2010)
Heiner, M., Koch, I., Will, J.: Model validation of biological pathways using Petri nets-demonstrated for apoptosis. Biosystems 75, 15–28 (2004)
Hofestadt, R.: Advantages of Petri-net modeling and simulation for biological networks. Int. J. Biosci. Biochem. Bioinforma. 7(4), 221–229 (2017)
Jain, S., Naik, P.K., Bhooshan, S.V.: Petri nets – an application in digital circuits. In: Proceedings of the ICWET 2010 International Conference & Workshop on Emerging Trends in Technology, p. 1005 (2010). https://doi.org/10.1145/1741906.1742168
Kansal, S., Acharya, M., Singh, G.P.: Boolean Petri nets. In: Pawlewski, P. (ed.) Petri nets — Manufacturing and Computer Science, pp. 381–406. In-Tech Global Publisher (2012). ISBN 978-953-51-0700-2, Chapter 17
Kansal, S., Singh, G.P., Acharya, M.: On Petri nets generating all the binary n-vectors. Scientiae Mathematicae Japonicae e-2010, 113–120 (2010). 71(2), 209–216
Kansal, S., Singh, G.P., Acharya, M.: 1-Safe Petri nets generating every binary n-vector exactly once. Scientiae Mathematicae Japonicae, e-2011, 127–137 (2011). 74(1) 29–36
Koch, I.: Petri nets in systems biology. Softw. Syst. Model. 14(2), 703–710 (2015)
Kumawat, S.: Weighted directed graph: a Petri net-based method of extraction of closed weighted directed euler trail. Int. J. Serv. Econ. Manag. 4(3), 252–264 (2012)
Kumawat, S., Purohit, G.N.: Total span of farm work flow using Petri net with resource sharing. Int. J. Bus. Process Integr. Manag. 8(3), 160–171 (2017)
Lipp, H.-P.: The application of a fuzzy Petri net for controlling complex industrial processes. In: Proceedings of IFAC Conference on Fuzzy Information Control, Marseille, pp. 459–465 (1983)
Liu, H.C., You, J.X., Li, Z.W., Tian, G.: Fuzzy Petri nets for knowledge representation and reasoning: a literature review. Eng. Appl. Artif. Intell. 60, 45–56 (2017)
Looney, C.G.: Fuzzy Petri nets for rule-based decision making. IEEE Trans. Syst. Man Cybern. 18, 178–183 (1988)
Murata, T.: Petri nets: properties, analysis and applications. Proc. IEEE 77(4), 541–580 (1989)
Pedrycz, W., Camargo, H.: Fuzzy timed Petri nets. Fuzzy Sets Syst. 140(2), 301–330 (2003)
Peterson, J.L.: Petri Net Theory and the Modeling of Systems. Prentice-Hall, Englewood Cliffs (1981)
Petri, C.A.: Communication with automata. Ph.D. dissertation, Technical report. RADC-TR-65-377, Rome Air Development Center, Rome (1966)
Reddy, V.N., Mavrovouniotis, M.L., Liebman, M.N.: Petri net representations in metabolic pathways. In: Proceedings of the International Conference on Intelligent Systems for Molecular Biology (1993)
Remy, E., Mossé, B., Thieffry, D.: Boolean dynamics of compound regulatory circuits. In: Rogato, A., Zazzu, V., Guarracino, M. (eds.) Dynamics of Mathematical Models in Biology, pp. 43–53. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-45723-9_4
Singh, G.P.: Some advances in the theory of Petri nets. Ph.D. thesis, Faculty of Technology, University of Delhi, Delhi, India (2013)
Singh, G.P., Kansal, S., Acharya, M.: Embedding an arbitrary 1-safe Petri net in a Boolean Petri net. Int. J. Comput. Appl. 70(6), 7–9 (2013)
Zhou, K.Q., Zain, A.M.: Fuzzy Petri nets and industrial applications: a review. Artif. Intell. Rev. (2016). https://doi.org/10.1007/s10462-015-9451-9
Zhou, K.Q., Mo, L.P., Jin, J., Zain, A.M.: An equivalent generating algorithm to model fuzzy Petri net for knowledge-based system. J. Intell. Manuf. 30(4), 1831–1842 (2019). https://doi.org/10.1007/s10845-017-1355-x
Acknowledgements
The first and second authors are thankful to Department of Applied Sciences, Amity University, Haryana and the third author is thankful to UPOE-II 257 and DST PURSE for providing research facility.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Singapore Pte Ltd.
About this paper
Cite this paper
Gupta, S., Kumawat, S., Singh, G.P. (2019). Fuzzy Petri Net Representation of Fuzzy Production Propositions of a Rule Based System. In: Singh, M., Gupta, P., Tyagi, V., Flusser, J., Ören, T., Kashyap, R. (eds) Advances in Computing and Data Sciences. ICACDS 2019. Communications in Computer and Information Science, vol 1045. Springer, Singapore. https://doi.org/10.1007/978-981-13-9939-8_18
Download citation
DOI: https://doi.org/10.1007/978-981-13-9939-8_18
Published:
Publisher Name: Springer, Singapore
Print ISBN: 978-981-13-9938-1
Online ISBN: 978-981-13-9939-8
eBook Packages: Computer ScienceComputer Science (R0)