Synchronization in petri nets
In "Petri nets are Monoids" by Meseguer and Montanari, categories for Petri nets with and without markings are introduced, where the categorical product and coproduct express the joint behavior of nets. However, this framework lacks structure in the sense that there is no categorical techn...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | report |
| Language: | eng |
| Published: |
2015
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/10183/126666 |
| Country: | Brazil |
| Oai: | oai:www.lume.ufrgs.br:10183/126666 |