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
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;
Conference_Titel :
Circuits and Systems, 1992., Proceedings of the 35th Midwest Symposium on
Conference_Location :
Washington, DC
Print_ISBN :
0-7803-0510-8
DOI :
10.1109/MWSCAS.1992.271233
