A new approach for modular robot system behavioral modeling: Base on Petri net and category theory

[1]  Guo Feng.  Petri nets model of unified modeling language statecharts , 2007 .

[2]  Michael Barr,et al.  Category theory for computing science , 1995, Prentice Hall International Series in Computer Science.

[3]  José Luiz Fiadeiro.  Categories for software engineering , 2005 .

[4]  Masahiro Shimizu,et al.  A Development of a Modular Robot That Enables Adaptive Reconfiguration , 2006, 2006 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[5]  Pradeep K. Khosla,et al.  Design of Dynamically Reconfigurable Real-Time Software Using Port-Based Objects , 1997, IEEE Trans. Software Eng..

[6]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[7]  Alessandro Giua,et al.  Introduction to Petri Nets , 2013, Control of Discrete-Event Systems.