Sciweavers

71
Voted
JUCS
2006
117views more  JUCS 2006»
15 years 10 days ago
A Structure Causality Relation for Liveness Characterisation in Petri Nets
: Characterising liveness using a structure based approach is a key issue in theory of Petri nets. In this paper, we introduce a structure causality relation from which a topologic...
Belhassen Zouari