Abstract

: The semantics of Petri Nets are discussed within the "Objects are sheaves" paradigm. Transitions and places are represented as sheaves and nets are represented as diagrams of sheaves. Both an interleaving semantics, and a non-interleaving semantics are shown to arise as the limit of the sheaf diagram representing the net. This work was supported by the Information Technology Promotion Agency, Japan, as part of the R & D of Basic Technology for Future Industries "New Models of Software Architecture" project sponsored by NEDO (New Energy and Industrial Technology Developments Organization). Printing: TKK Monistamo; Otaniemi 1993 Helsinki University of Technology Phone: 90 +358--0 4511 Department of Computer Science Digital Systems Laboratory Telex: 125 161 htkk sf Otaniemi, Otakaari 1 Telefax: +358--0--465 077 SF--02150 ESPOO, FINLAND E-mail: lab@hutds.hut.fi -- 1 -- 1 Introduction Sheaf theory is a mathematical tool that has been successfully applied to the solution of difficult m...

Citations