498 search results - page 21 / 100 » On the Category of Petri Net Computations |
118
Voted
REX
1993
15 years 10 months ago
1993
155
Voted
REX
1993
15 years 10 months ago
1993
163
Voted
IWPEC
2010
Springer
15 years 4 months ago
2010
Springer
158
click to vote
FSTTCS
2009
Springer
16 years 19 days 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...