Towards an Object-Oriented Programming Language for Physarum Polycephalum Computing : A Petri Net Model Approach

• Autorzy: Schumann A. , Pancerz K.

Identyfikatory

DOI

10.3233/FI-2014-1076

• Języki publikacji: EN

Abstrakty

EN

Our research is focused on creation of a new object-oriented programming language for Physarum polycephalum computing. Physarum polycephalum is a one-cell organism that can be used for developing a biological architecture of different abstract devices, among others, the digital ones. In the paper, we use an abstract graphical language in the form of Petri nets to describe the Physarum polycephalum behavior. Petri nets are a good formalism to assist designers and support hardware design tools, especially in developing concurrent systems. At the beginning stage considered in this paper, we show how to build Petri net models, and next implement them as Physarum polycephalum machines, of basic logic gates AND, OR, NOT, and simple combinational circuits on the example of the 1-to-2 demultiplexer.

Słowa kluczowe

EN

object-oriented methods; programming languages; Petri nets; computer architecture; combinational circuits

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2014
• Tom: Vol. 133, nr 2/3
• Strony: 271--285
• Opis fizyczny: Bibliogr. 20 poz., rys., tab.

Twórcy

autor

Schumann A.

• Institute of Biomedical Informatics University of Information Technology and Management, Sucharskiego Str. 2, 35-225 Rzeszów, Poland

autor

Pancerz K.

• Institute of Biomedical Informatics University of Information Technology and Management, Sucharskiego Str. 2, 35-225 Rzeszów, Poland

Bibliografia

• [1] Adamatzky, A.: Physarum Machines: Computers from Slime Mould, World Scientific, 2010.
• [2] Adamatzky, A., De Lacy Costello, B.: Experimental logical gates in a reaction-diffusion medium: The XOR gate and beyond, Physical Review E, 66, 2002, 046112.
• [3] Adamatzky, A., Erokhin, V., Grube, M., Schubert, T., Schumann, A.: Physarum Chip Project: Growing Computers From Slime Mould, International Journal of Unconventional Computing, 8(4), 2012, 319–323.
• [4] Agerwala, T., Flynn, M.: Comments on Capabilities, Limitations and ’Correctness’ of Petri Nets, Proceedings of the 1st Annual Symposium on Computer Architecture (ISCA’1973), Atlanta, USA, 1973.
• [5] Busi, N., Gorrieri, R.: A Petri net semantics for π-calculus, in: CONCUR ’95: Concurrency Theory (I. Lee, S. A. Smolka, Eds.), vol. 962 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, 1995, 145–159.
• [6] Górecki, J., Górecka, J., Igarashi, Y.: Information processing with structured excitable medium, Natural Computing, 8(3), 2009, 473–492, ISSN 1567-7818.
• [7] Jones, J., Adamatzky, A.: Towards Physarum Binary Adders, Biosystems, 101(1), 2010, 51–58.
• [8] Motoike, I. N., Yoshikawa, K.: Information operations with multiple pulses on an excitable field, Chaos, Solitons & Fractals, 17(23), 2003, 455 – 461.
• [9] Nakagaki, T., Yamada, H., Toth, A.: Maze-solving by an amoeboid organism, Nature, 407, 2000, 470–470.
• [10] Parrow, J.: An Introduction to the π-Calculus, in: Handbook of Process Algebra (J. Bergstra, A. Ponse, S. Smolka, Eds.), Elsevier Science, Amsterdam, 2001, 479–543.
• [11] Petri, C. A.: Kommunikation mit Automaten, Schriften des IIM nr. 2, Institut für Instrumentelle Mathematik, Bonn, 1962.
• [12] Reisig, W.: Petri Nets, Springer, Berlin, 1985.
• [13] Rosandich, R. G.: Fundamentals of Ladder Diagrams Programming, EC&M Books, 1999.
• [14] Schumann, A., Adamatzky, A.: Physarum Spatial Logic, New Mathematics and Natural Computation, 7(3), 2011, 483–498.
• [15] Schumann, A., Pancerz, K.: Towards an Object-Oriented Programming Language for Physarum Polycephalum Computing, Proceedings of the Workshop on Concurrency, Specification and Programming (CS&P’2013) (M. Szczuka, L. Czaja, M. Kacprzak, Eds.), Warsaw, Poland, 2013.
• [16] Schumann, A., Pancerz, K., Jones, J.: Towards Logic Circuits Based on Physarum Polycephalum Machines: the Ladder Diagram Approach, Proceedings of the 7th International Conference on Biomedical Electronics and Devices (BIODEVICES’2014) (A. Cliquet Jr, G. Plantier, T. Schultz, A. Fred, H. Gamboa, Eds.), Angers, France, 2014.
• [17] Sielewiesiuk, J., Górecki, J.: Logical Functions of a Cross Junction of Excitable Chemical Media, The Journal of Physical Chemistry A, 105(35), 2001, 8189–8195.
• [18] Steinbock, O., Kettunen, P., Showalter, K.: ChemicalWave Logic Gates, The Journal of Physical Chemistry, 100(49), 1996, 18970–18975.
• [19] Verbeek, H., Wynn, M., van der Aalst, W., ter Hofstede, A.: Reduction rules for reset/inhibitor nets, Journal of Computer and System Sciences, 76(2), 2010, 125–143.
• [20] Yakovlev, A. V., Koelmans, A. M.: Petri Nets and Digital Hardware Design, in: Lectures on Petri Nets II: Applications (W. Reisig, G. Rozenberg, Eds.), vol. 1492 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, 1998, 154–236.