Search Sciweavers | Sciweavers

25

JUCS
2006

117views more JUCS 2006»

A Structure Causality Relation for Liveness Characterisation in Petri Nets

13 years 11 months ago

: 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

claim paper

Read More »

32

click to vote

FUIN
2007

123views more FUIN 2007»

Analysis of Approximate Petri Nets by Means of Occurrence Graphs

13 years 11 months ago

Download www2.informatik.hu-berlin.de

Abstract. Approximate Petri nets (AP-nets) can be used for the knowledge representation and approximate reasoning. The AP-net model is deﬁned on the basis of the rough set approa...

Zbigniew Suraj, Barbara Fryc

claim paper

Read More »

34

click to vote

JSW
2007

118views more JSW 2007»

A New Formalism for Failure Diagnosis: Ant Colony Decision Petri Nets

13 years 11 months ago

Download www.academypublisher.com

— Failure diagnosis in large and complex systems is a critical task. A discrete event system (DES) approach to the problem of failure diagnosis is presented in this paper. A clas...

Calin Ciufudean, Adrian Graur, Constantin Filote, ...

claim paper

Read More »

31

click to vote

APN
2007
Springer

106views Artificial Intelligence» more APN 2007»

Complete Process Semantics for Inhibitor Nets

14 years 5 months ago

Download www.ku-eichstaett.de

In this paper we complete the semantical framework proposed in [12] for process and causality semantics of Petri nets by an additional aim and develop process and causality semanti...

Gabriel Juhás, Robert Lorenz, Sebastian Mau...

claim paper

Read More »

22

click to vote

ATVA
2004
Springer

71views Hardware» more ATVA 2004»

Introducing Structural Dynamic Changes in Petri Nets: Marked-Controlled Reconfigurable Nets

14 years 4 months ago