References
- Birzhandi, P., K. TaeKim, B. Lee, and H. Y. Youn. 2019. Reduction of training data using parallel hyperplane for support vector machine. Applied Artificial Intelligence 33 (6):497–516. doi:https://doi.org/10.1080/08839514.2019.1583449.
- Camilli, M. 2012. Petri nets state space analysis in the cloud. Proceedings of the 2012 International Conference on Software Engineering, Zurich, Switzerland, pp. 1638–40.
- Camilli, M., C. Bellettini, L. Capra, and M. Monga. 2014. CTL model checking in the cloud using MapReduce. Symbolic and Numeric Algorithms for Scientific Computing (SYNASC). 333–40.
- Freytag, T., and M. Sänger. 2014. WoPeD – An educational tool for workflow nets,” Proceedings of the BPM Demo Sessions, Eindhoven, Haifa, Israel, September. pp. 31–35.
- Guo, F., G. Wei, M. Deng, and W. Shi. 2013. CTL model checking algorithm using MapReduce. Emerging Technologies for Information Systems, Computing, and Managemen, LNEE 236:341–48.
- Hallé, S., and M. Soucy-Boivin. 2015. MapReduce for parallel trace validation of LTL properties. Journal of Cloud Computing: Advances, Systems and Applications 4(1). doi:https://doi.org/10.1186/s13677-015-0032-x.
- Jadhav, A., D. Pramod, and K. Ramanathan. 2019. Comparison of performance of data imputation methods for numeric dataset. Applied Artificial Intelligence 33(10):913–33. doi: https://doi.org/10.1080/08839514.2019.1637138.
- Karun Kala, A., and K. Chitharanjan. 2013. A review on Hadoop – HDFS infrastructure extensions. 2013 IEEE Conference on Information and Communication Technologies (ICT 2013), Thuckalay, Tamil Nadu, India.
- Matsuzaki, K. 2017. Functional models of Hadoop MapReduce with application to scan. International Journal of Parallel Programming 45(2):362–81. doi: https://doi.org/10.1007/s10766-016-0414-9.
- Mazhar Rathore, M., H. Son, A. Ahmad, A. Paul, and G. Jeon. 2018. Real-time big data stream processing using GPU with spark over Hadoop ecosystem. International Journal of Parallel Programming 46(3):630–46. doi: https://doi.org/10.1007/s10766-017-0513-2.
- Mukund, M. 1996. Linear-time temporal logic and Büchi automata. India: SPIC Mathematical Institute.
- Naldurg, P., K. Sen, and P. Thati. 2004. A temporal logic based framework for intrusion detection. FORTE, of Lecture Notes in Computer Science 3235:359–76.
- Natesan, P., R. R. Rajalaxmi, G. Gowrison, and P. Balasubramanie. 2017. Hadoop based parallel binary bat algorithm for network intrusion detection. International Journal of Parallel Programming 45(5):1194–213. doi: https://doi.org/10.1007/s10766-016-0456-z.
- Neil, J., P. P. Gunther, and K. Tomasette. 2014. Hadoop superlinear scalability. Communications of the ACM 58:46–55.
- Saisai, M., L. Jiuyong, L. Liu, and T. D. Le. 2016. Mining combined causes in large data sets. Knowledge-Based Systems 92:104–11. doi: https://doi.org/10.1016/j.knosys.2015.10.018.
- Valero, V. 2018. Strong behavioral similarities in time-arc Petri nets. Applied Mathematics and Computation 333:401–15. doi: https://doi.org/10.1016/j.amc.2018.03.073.
- White, T. 2009. Hadoop: the definitive guide. USA: O’Reilly Media.
- Wu, N. Q., and M. C. Zhou. 2010. System modeling and control with resource-oriented petri nets. New York: CRC Press.
- Xiong, P. C., Y. S. Fan, and M. C. Zhou. 2010. A Petri net approach to analysis and composition of web services. IEEE Transactions on System, Man, and Cybernetics—Part A: Systems and Humans 40(2):376–87. doi: https://doi.org/10.1109/TSMCA.2009.2037018.
- Zhang, S., C. Zhang, and Q. Yang. 2010. Data preparation for data mining. Applied Artificial Intelligence 17(5–6):375–81. doi: https://doi.org/10.1080/713827180.