498 search results - page 21 / 100 » On the Category of Petri Net Computations |
119
Voted
MFCS
1993
Springer
15 years 4 months ago
1993
Springer
102
Voted
REX
1993
15 years 4 months ago
1993
107
Voted
IWPEC
2010
Springer
14 years 10 months ago
2010
Springer
106
Voted
FSTTCS
2009
Springer
15 years 7 months ago
2009
Springer
ABSTRACT. We consider concurrent systems that can be modelled as 1-safe Petri nets communicating through a fixed set of buffers (modelled as unbounded places). We identify a param...