Abstract
In signal set tissue systems with overlapping localities (ssolt-systems) evolution rules can be associated with several cells. Rules may influence each other through instant signalling and, moreover, they are synchronised when sharing activated cells. The latter is a new feature. We study the behaviour of ssolt-systems in the form of labelled step transition systems. This allows to compare ssolt-systems with and without signalling and overlapping localities. Next the synthesis problem is considered, i.e., the question when given a step transition system, how to effectively construct an ssolt-system exhibiting this behaviour. To this end, ssolt-systems are related to a new class of Petri nets, that are behaviourally equivalent to ssolt-systems. It is shown how certain region based synthesis techniques can be applied to these nets and hence are also available for ssolt-systems.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
