Synchrony and Asynchrony in Membrane Systems
We consider synchrony and asynchrony in the behavior of various models of membrane systems, which may differ in the way individual reactions are defined as well as in the way multisets of these reactions can be executed in a single computational step. We concentrate on the properties of ongoing computations, including the unbounded ones. Our focus is on the properties of system states involved in such computations as well as on concurrency and causality relationships between executed reactions. This should be contrasted with the approach which investigates different notions of ‘results’ produced through halting computations of membrane systems. As a formal behavioral model we use Petri nets and their processes which are very well suited to capture the notion of an execution in a concurrent context. We continue our earlier work reported in , where a systematic and structural link has been established between a basic class of membrane systems and Petri nets. Here, we look at some natural extensions of this basic class of membrane systems and investigate the ways in which they can be represented within the behavioral model provided by Petri nets.
KeywordsMembrane System Evolution Rule Control Place Reaction Rule Membrane Computing
Unable to display preview. Download preview PDF.
- 1.Membrane systems web page: http://psystems.disco.unimib.it/
- 2.Alhazov, A.: Communication in Membrane Systems with Symbol Objects. PhD Thesis, Rovira i Virgili University, Tarragona, Spain (2006)Google Scholar
- 3.Arroyo, F., Baranda, A.V., Castellanos, J., Păun, G.: Membrane Computing: The Power of (Rule) Creation. Journal of Universal Computer Science 8, 369–381 (2002)Google Scholar
- 8.Carloni, L.P., Sangiovanni-Vincentelli, A.L.: A Formal Modelling Framework for Deploying Synchronous Designs on Distributed Architectures. In: Proc. of First International Workshop on Formal Methods for Globally Asynchronous Locally Synchronous Architectures (2003)Google Scholar
- 11.Freund, R.: Sequential P Systems. Romanian Journal of Information Science and Technology 4, 77–88 (2001)Google Scholar
- 16.Kleijn, H.C.M., Koutny, M., Rozenberg, G.: Process Semantics for Membrane Systems. The Journal of Automata, Languages and Combinatorics (to appear, 2006)Google Scholar
- 17.Kleijn, H.C.M., Koutny, M., Rozenberg, G.: Processes of Petri Nets with Localities. Report 941, School of Computing Science, University of Newcastle (2006)Google Scholar
- 19.McMillan, K.L.: Using Unfoldings to Avoid the State Explosion Problem in the Verification of Asynchronous Circuits. In: Probst, D.K., von Bochmann, G. (eds.) CAV 1992. LNCS, vol. 663, pp. 164–174. Springer, Heidelberg (1993)Google Scholar
- 26.Peterson, J.L.: Petri Net Theory and the Modeling of Systems. Prentice-Hall, Englewood Cliffs (1981)Google Scholar
- 29.Rozenberg, G., Engelfriet, J.: Elementary Net Systems. In: , pp. 12–121 (1998)Google Scholar
- 30.Stahl, C., Reisig, W., Krstić, M.: Hazard Detection in a GALS Wrapper: a Case Study. In: Desel, J., Watanabe, Y. (eds.) ACSD 2005. IEEE Computer Society, Los Alamitos (2005)Google Scholar