DocumentCode
1619184
Title
Describing and verifying systems: a compositional algebra for Petri nets
Author
Zimmer, Robert ; MacDonald, Alan ; Holte, Robert
Author_Institution
Dept. of Electr. Eng., Brunel Univ., Uxbridge, UK
fYear
1992
Firstpage
674
Abstract
A method for composing Petri nets is described. This is an application of a general categorical composition algebra. The example of a three-wire handshake is used to illustrate some features of this Petri net composition. The Petri net system provides knowledge of the underlying algebra which is invaluable in implementing strategies such as modular and hierarchic design. Having a high-level mathematical underpinning to a CAD system facilitates not only top-down design but also bottom-up verification
Keywords
Petri nets; algebra; CAD; Petri nets; compositional algebra; three-wire handshake; Algebra; Carbon capture and storage; Circuits; Equations; Inverters; Joining processes; Labeling; Logic; Petri nets; Wire;
fLanguage
English
Publisher
ieee
Conference_Titel
Circuits and Systems, 1992., Proceedings of the 35th Midwest Symposium on
Conference_Location
Washington, DC
Print_ISBN
0-7803-0510-8
Type
conf
DOI
10.1109/MWSCAS.1992.271233
Filename
271233
Link To Document