Designing reconfigurable manufacturing systems using reconfigurable object Petri nets

References

• Aalst, V. D., and K. V. Hee. 2002. Workflow Management: Models, Methods, and Systems. Cambridge, MA: IT Press.
   Google Scholar
• Abdallah, I. B., and H. A. ElMaraghy. 1998. “Deadlock Prevention and Avoidance in FMS: A Petri Net Based Approach.” The International Journal of Advanced Manufacturing Technology 14 (10): 704–715. doi:10.1007/BF01438223.
   Web of Science ®Google Scholar
• Abid, K., L. Kahloul, L. H. Mous, and O. Kazar. 2013. “Formal Specification of a Mobile Agent Based Maintenance for Manufacturing Systems.” In The 7th International Workshop on Verification and Evaluation of Computer and Communication Systems. Florence, Italy, November 21–22.
   Google Scholar
• Asperti, A., and N. Busi. 2009. “Mobile Petri Nets.” Mathematical Structures in Computer Science 19 (6): 1265–1278. doi:10.1017/S0960129509990193.
   Web of Science ®Google Scholar
• Badouel, E., M. Llorens, and J. Oliver 2003. “Modelling Concurrent Systems: Reconfigurable Nets.” In Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA’03) 1568–1574. Las Vegas, Nevada, 23–26 June 2003.
   Google Scholar
• Badouel, E., and J. Oliver. 1998. Reconfigurable Nets, a Class of High Level Petri Nets Supporting Dynamic Changes within Workflow Systems. INRIA Report No 3339. Rennes: Inria Rennes. https://hal.inria.fr/inria-00073350.
   Google Scholar
• Berthomieu, B., P. O. Ribet, and F. Vernadat. 2004. “The Tool TINA Construction of Abstract State Spaces for Petri Nets and Time Petri Nets.” International Journal of Production Research 42 (14): 2741–2756. doi:10.1080/00207540412331312688.
   Web of Science ®Google Scholar
• Biermann, E., C. Ermel, F. Hermann, and T. A. Modica 2007. “Visual Editor for Reconfigurable Object Nets based on the ECLIPSE Graphical Editor Framework.” In Proceedings of the 14th Workshop on Algorithms and Tools for Petri Nets (AWPN2007) 1–6. Koblenz, Germany, September 20–21 2006.
   Google Scholar
• Biermann, E., and T. Modica. 2008. “Independence Analysis of Firing and Rule-Based Net Transformations in Reconfigurable Object Nets.” Electronic Communications of the EASST 10: 1–13.
   Web of Science ®Google Scholar
• Cheng, C. W., T. H. Sun, and L. C. Fu 1994. “Petri-Net Based Modeling and Scheduling of a Flexible Manufacturing System.” In IEEE 1994 International Conference on Robotics and Automation, San Diego, CA. May 8–13, pp. 513–518.
   Google Scholar
• Cunha de Aguiar, A. J., E. Villani, and F. Junqueira. 2011. “Coloured Petri Nets and Graphical Simulation for the Validation of a Robotic Cell in Aircraft Industry.” Robotics and Computer Integrated Manufacturing 27 (5): 929–941. doi:10.1016/j.rcim.2011.03.005.
   Web of Science ®Google Scholar
• Dai, X., J. Li, and Z. Meng. 2009. “Hierarchical Petri Net Modelling of Reconfigurable Manufacturing Systems with Improved Net Rewriting Systems.” International Journal of Computer Integrated Manufacturing 22 (2): 158–177. doi:10.1080/09511920802014904.
   Web of Science ®Google Scholar
• Ede, M., K. Hofmann, G. Oelker, and J. Padberg. 2012. “RECONNET: A Tool for Modeling and Simulating with Reconfigurable Place/Transition Nets.” Electronic Communications of the EASST 54: 1–12. doi:10.14279/tuj.eceasst.54.774.777.
   Google Scholar
• Ehrig, H. 1979. ““Introduction to the Algebraic Theory of Graph Grammars (A Survey).” in Graph Grammars and Their Application to Computer Science and Biology.” Lecture Notes in Computer Science 73: 1–69.
   Google Scholar
• Ehrig, H., A. Habel, H.-J. Kreowski, and F. Parisi-Presicce. 1991. “Parallelism and Concurrency in High-Level Replacement Systems.” Mathematical Structures in Computer Science 1: 361–404. doi:10.1017/S0960129500001353.
   Google Scholar
• Ehrig, H., K. Hoffmann, and J. Padberg. 2006. “Transformations of Petri Nets.” Electronic Notes in Theoretical Computer Science 148 (1): 151–172. doi:10.1016/j.entcs.2005.12.016.
   Google Scholar
• Ehrig, H., and J. Padberg. 2004. “Graph Grammars and Petri Net Transformations.” In Lectures on Concurrency and Petri Nets: Advanced Course PNT, edited by J. Desel, W. Reisig, and G. Rozenberg, 496–536. Berlin: Springer.
   Google Scholar
• Hoffmann, K., H. Ehrig, and T. Mossakowski 2005. “High-Level Nets with Nets and Rules as Tokens.” In Proceedings of the 26th International Conference on Applications and Theory of Petri Nets. Miami, USA. June 20–25 2005. pp. 268–288.
   Google Scholar
• Hou, Y. F., Z. W. Li, M. Zhao, and D. Liu. 2014. “Extended Elementary Siphon-Based Deadlock Prevention Policy for a Class of Generalised Petri Nets.” International Journal of Computer Integrated Manufacturing 27 (1): 85–102. doi:10.1080/0951192X.2013.800233.
   Web of Science ®Google Scholar
• Julia, S., F. F. De Oliveira, and R. Valette. 2008. “Real Time Scheduling of Workflow Management Systems Based on a P-Time Petri Net Model with Hybrid Resources.” Simulation Modelling Practice and Theory 16 (4): 462–482. doi:10.1016/j.simpat.2008.01.006.
   Web of Science ®Google Scholar
• Kahloul, L., K. Djouani, and A. Chaoui. 2013. “Formal Study of Reconfigurable Manufacturing Systems: A High Level Petri Nets Based Approach.” In Lecture Notes on Computer Science: The Proceedings of the Holomas 2013, edited by V. Mařík, J. L. Martinez Lastra, and P. Skobelev, 106–117. Berlin: Springer.
   Google Scholar
• Katz, R. 2007. “Design Principles of Reconfigurable Machines.” The International Journal of Advanced Manufacturing Technology 34 (5–6): 430–439. doi:10.1007/s00170-006-0615-2.
   Web of Science ®Google Scholar
• Koren, Y., U. Heisel, F. Jovane, T. Moriwaki, G. Pritschow, G. Ulsoy, and H. C. Brussel. 1999. “Reconfigurable Manufacturing Systems.” CIRP Annals – Manufacturing Technology 48 (2): 527–540. doi:10.1016/S0007-8506(07)63232-6.
   Web of Science ®Google Scholar
• Korena, Y., and M. Shpitalni. 2010. “Design of Reconfigurable Manufacturing Systems.” Journal of Manufacturing Systems 29 (4): 130–141. doi:10.1016/j.jmsy.2011.01.001.
   Web of Science ®Google Scholar
• Li, J., X. Dai, and Z. Meng 2005. “Improved Net Rewriting Systems-Based Rapid Reconfiguration of Petri Net Logic Controllers.” IECON Proceedings (Industrial Electronics Conference: 2284–2289. doi:10.1109/IECON.2005.1569259
   Google Scholar
• Li, J., X. Dai, and Z. Meng. 2009. “Automatic Reconfiguration of Petri Net Controllers for Reconfigurable Manufacturing Systems with an Improved Net Rewriting System-Based Approach.” IEEE Transactions on Automation Science and Engineering 6 (1): 156–167. doi:10.1109/TASE.2008.2006857.
   Web of Science ®Google Scholar
• Li, J., X. Dai, Z. Meng, J. Dou, and X. Guan. 2009. “Rapid Design and Reconfiguration of Petri Net Models for Reconfigurable Manufacturing Cells with Improved Net Rewriting Systems and Activity Diagrams.” Computers & Industrial Engineering 57 (4): 1431–1451. doi:10.1016/j.cie.2009.07.013.
   Web of Science ®Google Scholar
• Li, J., M. Zhou, and X. Dai. 2012. “Reduction and Refinement by Algebraic Operations for Petri Net Transformation.” IEEE Transactions on Systems, Man, and Cybernetics Part A: Systems and Humans 42 (5): 1244–1255. doi:10.1109/TSMCA.2012.2186440.
   Web of Science ®Google Scholar
• Li, S. Y., Z. W. Li, and H. S. Hu. 2011. “Siphon Extraction for Deadlock Control in Flexible Manufacturing Systems by Using Petri Nets.” International Journal of Computer Integrated Manufacturing 24 (8): 710–725. doi:10.1080/0951192X.2011.575182.
   Web of Science ®Google Scholar
• Liu, C.-M., and F.-C. Wu. 1993. “Using Petri Nets to Solve FMS Problems.” International Journal of Computer Integrated Manufacturing 6(3): 175–185. Published online 30 Mar 1993. doi:10.1080/09511929308944567
   Web of Science ®Google Scholar
• Llorens, M., and J. Oliver. 2004. “Structural and Dynamic Changes in Concurrent Systems: Reconfigurable Petri Nets.” IEEE Transactions on Computers 53 (9): 1147–1158. doi:10.1109/TC.2004.66.
   Web of Science ®Google Scholar
• Lomazova, I. A. 2001. “Nested Petri Nets: Multi-Level and Recursive Systems.” Fundamenta Informaticae 47 (3–4): 283–293.
   Web of Science ®Google Scholar
• Mehrabi, M. G., A. G. Ulsoy, and Y. Koren. 2000. “Reconfigurable Manufacturing Systems: Key to Future Manufacturing.” Journal of Intelligent Manufacturing 11: 403–419. doi:10.1023/A:1008930403506.
   Web of Science ®Google Scholar
• Meng, X. 2010. “Modeling of Reconfigurable Manufacturing Systems Based on Colored Timed Object-Oriented Petri Nets.” Journal of Manufacturing Systems 29 (2–3): 81–90. doi:10.1016/j.jmsy.2010.11.002.
   Web of Science ®Google Scholar
• Merlin, P. M., and D. J. Farber. 1976. “Recoverability of Communication Protocols – Implications of a Theoretical Study.” IEEE Transactions on Communications 24 (9): 1036–1043. doi:10.1109/TCOM.1976.1093424.
   Web of Science ®Google Scholar
• Meseguer, J., and U. Montanari. 1990. “Petri Nets are Monoids.” Information and Computation 88 (2): 105–155. doi:10.1016/0890-5401(90)90013-8.
   Web of Science ®Google Scholar
• Murata, T. 1989. “Petri Nets: Properties, Analysis and Applications.” Proceedings of the IEEE 77 (4): 541–580. doi:10.1109/5.24143.
   Web of Science ®Google Scholar
• Padberg, J., H. Ehrig, and L. Ribeiro. 1995. “Algebraic High-Level Net Transformation Systems.” Mathematical Structures in Computer Science 5 (2): 217–256.
   Google Scholar
• Prange, U., H. Ehrig, K. Hoffmann, and J. Padberg. 2008. “Transformations in Reconfigurable Place/Transition Systems.” In Concurrency, Graphs and Models, edited by P. Degano, R. D. Nicola, and J. Meseguer, 96–113, Berlin: Springer.
   Google Scholar
• Richta, T., V. Janoušek, and R. Kočí. 2013. “Petri Nets-Based Development of Dynamically Reconfigurable Embedded Systems.” In International Workshop on Petri Nets and Software Engineering, edited by D. Moldt and CEUR-WS.org, 203–217. Berlin: Springer.
   Google Scholar
• Serope, K., and S. Schmid. 2009. Manufacturing, Engineering & Technology. Upper Saddle River, NJ: Prentice Hall.
   Google Scholar
• Silva, J. R., and P. M. G. Foyo. 2012. “Timed Petri Nets.” Chap. 16 in Petri Nets Manufacturing and Computer Science, 359–378. Upper Saddle River, NJ: Prentice Hall.
   Google Scholar
• Tricas, F., F. García-Vallés, J. M. Colom, and J. Ezpeleta. 2000. “An Iterative Method for Deadlock Prevention in FMS.” In Discrete Event Systems: Analysis and Control, edited by R. Boel and G. Stremersch, 139–148. Boston, USA: Kluwer Academic Publishers.
   Google Scholar
• U2 Partners. 2003. “Unified Modeling Language: Superstructure, Version 2.0.” 3rd Revised Submission to OMG RFP Ad/00-09-02. http://www.omg.org/cgi-bin/doc?ad/2003. 04-01, April 2003.
   Google Scholar
• Valette, R., J. Cardoso, and D. Dubois 1989. “Monitoring Manufacturing Systems by Means of Petri Nets with Imprecise Markings.” In IEEE 1989 International Symposium on Intelligent Control. Albany, NY, September 25–26 1989, pp. 233–238.
   Google Scholar
• Valk, R. 1978. “Self-Modifying Nets, a Natural Extension of Petri Nets.” In Lecture Notes on Computer Science: Proceedings of the Fifth Colloquium on Automata, Languages and Programming. Udine, Italy, July 17–21 1978, pp. 464–476.
   Google Scholar
• Valk, R. 1998. “Petri Nets as Token Objects: An Introduction to Elementary Object Nets.” In Lecture Notes on Computer Science: Applications and Theory of Petri Nets ICATPN’98. Lisbon, Portugal, June 1998, pp. 1–25
   Google Scholar
• Valk, R. 2001. “Concurrency in Communicating Object Petri Nets.” In Concurrent Object-Oriented Programming and Petri Nets, edited by G. Agha, F. De Cindio, and G. Rozenberg, 164–195. Berlin: Springer.
   Google Scholar
• Valk, R. 2004. “Object Petri Nets Using the Nets-within-Nets Paradigm.” In Lecture Notes in Computer Science: Advances in Petri Nets: Lectures on Concurrency and Petri Nets, edited by J. Desel, W. Reisig, and G.R., 819–848. Springer-Verlag, Berlin, New York.
   Google Scholar
• Wang, L.-C. 1996. “Object-Oriented Petri Nets for Modelling and Analysis of Automated Manufacturing Systems.” Computer Integrated Manufacturing Systems 9 (2): 111–125. doi:10.1016/0951-5240(95)00032-1.
   Google Scholar
• Wu, N., and M. Zhou. 2009. “Intelligent Token Petri Nets for Modelling and Control of Reconfigurable Automated Manufacturing Systems with Dynamical Changes.” Transactions of the Institute of Measurement and Control 33 (1): 9–29.
   Web of Science ®Google Scholar
• Zha, X. F., L. L. Li, and W. J. Zhang 2002. “A Knowledge Petri Net Model for Flexible Manufacturing Systems and Its Application for Design and Verification of FMS Controllers.” International Journal of Computer Integrated Manufacturing 15: 242–264. Published online: 08 Nov 2010. 10.1080/09511920110059070
   Web of Science ®Google Scholar
• Zhang, L., and B. Rodrigues. 2009. “Modelling Reconfigurable Manufacturing Systems with Coloured Timed Petri Nets.” International Journal of Production Research 47 (16): 4569–4591. doi:10.1080/00207540801946662.
   Web of Science ®Google Scholar
• Zhou, M. C., K. Mcdermott, and P. A. Patel. 1993. “Petri Net Synthesis and Analysis of a Flexible Manufacturing System Cell.” IEEE Transactions on Systems, Man and Cybernetics 23 (2): 523–531. doi:10.1109/21.229464.
   Web of Science ®Google Scholar