79 search results - page 4 / 16 » High Level Petri Nets Analysis with Helena |
APN
1993
Springer
13 years 9 months ago
1993
Springer
JIB
2007
13 years 5 months ago
2007
APN
2011
Springer
12 years 9 months ago
2011
Springer
IJKBO
2011
12 years 9 months ago
2011
ICRA
2003
IEEE
13 years 11 months ago
2003
IEEE
- In this paper, we propose a unitary tool for modeling and analysis of discrete event systems monitoring. Uncertain knowledge of such tasks asks specific reasoning and adapted fuz...