Home
Scholarly Works
An Introduction to the Macro Cosy Notation
Chapter

An Introduction to the Macro Cosy Notation

Abstract

One of the objections to the use of Petri nets or, equivalently, specifications written in the COSY (Concurrent Systems) notation, for modelling realistic systems is that they would grow too large to be of any practical use. Generators for the concise representation of large (possibly infinite) structures in net theory or specifications in COSY are traced to their origins in Carl Adam Petri’s thesis [P62]. The generators implemented in the current version of COSY and its accompanying simulation and analysis tools are presented in detail together with design decisions which led to their present form.

Authors

Lauer PE; Janicki R

Book title

Concurrency and Nets

Pagination

pp. 287-314

Publisher

Springer Nature

Publication Date

January 1, 1987

DOI

10.1007/978-3-642-72822-8_20
View published work (Non-McMaster Users)

Contact the Experts team