Abstract
This paper is a presentation of the ongoing research project being under development at the Institute of automation and control processes (Vladivostok, Russia). The main purpose of the project is to develop a prototype of computer aided tools for specification development in a graphical mode based on Petri nets. The project includes a development of two-level editor that consists of a Petri net editor with algebraic facilities and an architectural editor. Some outcomes of the project are reported.
This is a preview of subscription content, log in via an institution to check access.
References
Anisimov N.A. A Notion of Petri Net Entity for Communication Protocol Design. Institute for Automation and Control Processes, Vladivostok. To be published in: Proc. IFAC Workshop on Discrete Event System Theory (Chenyang, June 25–27), 1991.
Anisimov N.A. An Algebra of Regular Macronets for Formal Specification of Communication Protocols. Computers and Artificial Intelligence, Vol.10, No.6. pp.541–560 (1991)
Brauer W., Reisig W., Rozenberg G. (Eds). Petri Nets. Part I and II. Proc. of an Advanced Course, Bad Honnef. Lecture Notes in Computer Sciences, Vol.254, 255 (1987)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Anisimov, N., Kovalenko, A., Postupalski, P., Simanchuk, A. (1992). A graphical Petri net based editor for a visualization of distributed and parallel systems. In: Bougé, L., Cosnard, M., Robert, Y., Trystram, D. (eds) Parallel Processing: CONPAR 92—VAPP V. VAPP CONPAR 1992 1992. Lecture Notes in Computer Science, vol 634. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55895-0_519
Download citation
DOI: https://doi.org/10.1007/3-540-55895-0_519
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55895-8
Online ISBN: 978-3-540-47306-0
eBook Packages: Springer Book Archive