Computer Science ›› 2012, Vol. 39 ›› Issue (9): 143-151.

Previous Articles     Next Articles

Bigraphical Reactive Systems Based on Nested Sortings

  

  • Online:2018-11-16 Published:2018-11-16

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

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!