Loading...
Please wait, while we are loading the content...
Similar Documents
A Sheaf Semantics for Petri Nets a Sheaf Semantics for Petri Nets
| Content Provider | Semantic Scholar |
|---|---|
| Author | Lilius, Johan |
| Copyright Year | 1993 |
| 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. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://www.tcs.hut.fi/Publications/bibdb/HUT-TCS-A23.ps.gz |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |