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 …
Authors
Lauer PE; Janicki R
Book title
Concurrency and Nets
Pagination
pp. 287-314
Publisher
Springer Nature
Publication Date
1987
DOI
10.1007/978-3-642-72822-8_20