Computer Science ›› 2012, Vol. 39 ›› Issue (9): 143-151.
Previous Articles Next Articles
Online:
Published:
Abstract: Nested sorting based bigraphical reactive systems are extended model of bigraph theory in order to character't- ze nesting relation of controls of place graph n bigraphical reactive systems. The definition of nesting place graph was given by a signature category S}}(为.And then, some characters especially the construction of relative pushout and con- sistent conditions of idem pushout in nesting place graphs were presented. Furthermore, proofs of corresponding propo- sitions and theorem were given.
Key words: Bigraph rcactivc systems, Ncstcd sorting, Rclativc push-out, Consistency
0 / / Recommend
Add to citation manager EndNote|Reference Manager|ProCite|BibTeX|RefWorks
URL: https://www.jsjkx.com/EN/
https://www.jsjkx.com/EN/Y2012/V39/I9/143
Cited