Abstract
Many complex systems involving concurrency are composed of two parts: a control structure and a data processing structure. This paper is concerned with the problem of specifying the input-output behavior of control structures. In particular, it discusses and compares various possible formalizations of the concept of “behavioral equivalence”. Net theory and net languages play an important role in this study.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This research was supported by the Rome Air Development Center/AFSC, U.S. Air Force under grant AFOSR-81-0152.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
C. André, “Use of the Behavior Equivalence in Place-Transition Net Analysis” 2nd European Workshop on Petri Nets, Bad Honnef, Sept. 1981; in: Application and Theory of Petri Nets, C. Girault and W. Reisig (eds.), Informatik-Fachberichte, Band 52, Springer-Verlag, 1982, pp. 241–250.
W. Brauer (ed.), Net Theory and Applications, Lecture Notes in Computer Science, Vol. 84, Springer-Verlag, 1980.
R. Milner, A Calculus of Communicating Systems, Lecture Notes in Computer Science, Vol. 92, Springer-Verlag, 1980.
J.L. Peterson, Petri Net Theory and The Modeling of Systems, Prentice-Hall, 1981.
M. Yoeli, Petri Nets and Asynchronous Control Networks, Res. Report CS-73-07, Dept. of Computer Science, University of Waterloo, Canada, April 1973.
M. Yoeli and A. Ginzburg, Petri Net Languages and Their Applications, Res. Report CS-78-45, Dept. of Computer Science, University of Waterloo, Canada, November 1978.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1983 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Yoeli, M., Etzion, T. (1983). Behavioral Equivalence of Concurrent Systems. In: Pagnoni, A., Rozenberg, G. (eds) Applications and Theory of Petri Nets. Informatik-Fachberichte, vol 66. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-69028-0_20
Download citation
DOI: https://doi.org/10.1007/978-3-642-69028-0_20
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-12309-5
Online ISBN: 978-3-642-69028-0
eBook Packages: Springer Book Archive