Abstract
Usually, halal animal products formal producing system consists of several components that cover major stages including Pre-processing, Processing and Post-processing. In this paper, we present five information systems to implement fundamental functions of formal management, scientific foods management, animal epidemic disease diagnose and prevention, processing standardization and market management, which respectively map to those components mentioned above. As halal animal products formal producing system, there are Halal & Quality attributes existing in all of the five information systems. Thereby, concentrated and systematic controlling of Halal & Quality attributes could improve whole quality of the producing system and ensure products is halal. Addressed to the problem of controlling scheme, first, this paper given a Halal & Quality Elements Extended SPN Model (HQESPNM) in detail. Second, it propose Platform-Independence architecture of the formal producing system based on HQESPNM through infrastructure of database integrate middleware. Finally, this paper given an Electronic-Agriculture Services case through Platform-Specified Software based on SOA to certificate that the model proposed by this paper is feasible for halal animal products system.
Chapter PDF
Similar content being viewed by others
References
Petri, C.A.: Kommunkation mit automaten. Schriften des IIM, vol. 3. Institut fur Lnstrum Entelle Mathematik, Bonn (1962)
Molly, M.K.: Discrete time stochastic Petri nets. IEEE Trans. Software Eng. SE-11(4), 417–423 (1985)
Shao, W.-z., Yang, F.-q.: Object-Oriented System Anysis. Publishing House of Tsinghua University (2006)
Shao, W.-z., Yang, F.-q.: Object-Oriented System Design. Publishing House of Tsinghua University (2007)
Cui, H.-q., Wu, Z.-h.: MPI Programs’ Petri Net Model and Its Dynamic Properties. Journal of System Simulation 18(9), 2455–2460 (2006)
Qi, F.-m., Yu, B., Shi, L.-j., Mou, L.-k.: A Modeling Method of Software Project Management Based on Petri Nets. Journal of System Simulation 19(suppl. 1), 75–78 (2007)
Peterson, J.L.: The Theory of Petri Net and System Simulation. Wu Zhehui (Trans). Publishing House of China University of Mining Technology, Xuzhou (1989)
Murata, T.: Petri Nets: Properties,Analysis and Applications. Proceedings of the IEEE(S0018-9219) 77(4), 541–580 (1989)
Yuan, C.: The Principles of Petrinet. Publishing House of Electronics Industry, Beijing (2005)
Lin, C.: Stochastic Petri Nets and System Performance Evaluation. Publishing House of Tingshua University, Beijing (2005)
Zhan, H., Gu, J.,: Study of the Normal Generalized Stochastic Petri nets and its Application in Testing System. In: IEEE Instrumentation and Measurement Technology Conference Proceedings, pp. 1123–1128 (2006)
Renato Vazquez, C., Recalde, L., Silva, M.: Stochastic Continuous-State Approximation of Markovian Petri Net Systems. In: Proceedings of the 47th IEEE Conference on Decision and Control, pp. 901–906 (2008)
Han, Q., Ding, J., Bao, W.: IEEE Proceedings of the 2009 International Conference on Computer and Computing Technology Applications in Agriculture (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 IFIP International Federation for Information Processing
About this paper
Cite this paper
Han, Q., Bao, W. (2011). A Halal and Quality Attributes Driven Animal Products Formal Producing System Based on HQESPNM. In: Li, D., Liu, Y., Chen, Y. (eds) Computer and Computing Technologies in Agriculture IV. CCTA 2010. IFIP Advances in Information and Communication Technology, vol 344. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-18333-1_7
Download citation
DOI: https://doi.org/10.1007/978-3-642-18333-1_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-18332-4
Online ISBN: 978-3-642-18333-1
eBook Packages: Computer ScienceComputer Science (R0)