Sciweavers

JUCS
2006
117views more  JUCS 2006»
14 years 15 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