Sciweavers

498 search results - page 21 / 100
» On the Category of Petri Net Computations
Sort
View
119
Voted
MFCS
1993
Springer
15 years 4 months ago
Completeness Results for Linear Logic on Petri Nets
Uffe Engberg, Glynn Winskel
69
Voted
REX
1993
15 years 4 months ago
Linear Logic on Petri Nets
Uffe Engberg, Glynn Winskel
106
Voted
FSTTCS
2009
Springer
15 years 7 months ago
Modelchecking counting properties of 1-safe nets with buffers in paraPSPACE
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...
M. Praveen, Kamal Lodaya