Abstract
In this chapter we compare COSY with other models of non-sequential systems. Besides Petri Nets, the Calculus of Communicating Systems (CCS) and Communicating Sequential Processes (CSP) have been developed to a great extent and sophistication. We devote the first two sections of this chapter to the analysis of the relationship between COSY and, respectively, CCS and CSP. In the third section we show how the process notation and the concept of priority can be modelled by appropriate classes of Petri nets. The fourth section shows the equivalence between vector sequences and Mazurkiewicz traces. The last section is an analysis of the relationship between COSY and Synchronized Behaviours.
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.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Janicki, R., Lauer, P.E. (1992). Comparison of COSY with Other Models. In: Specification and Analysis of Concurrent Systems. EATCS Monographs in Theoretical Computer Science. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-77337-2_5
Download citation
DOI: https://doi.org/10.1007/978-3-642-77337-2_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-77339-6
Online ISBN: 978-3-642-77337-2
eBook Packages: Springer Book Archive