Sciweavers

FSTTCS
2008
Springer
14 years 3 days ago
The unfolding of general Petri nets
The unfolding of (1-)safe Petri nets to occurrence nets is well understood. There is a universal characterization of the unfolding of a safe net which is part and parcel of a core...
Jonathan Hayman, Glynn Winskel
FSTTCS
2009
Springer
14 years 5 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