957 search results - page 38 / 192 » Negotiations and Petri Nets |
FUIN
2007
14 years 11 months ago
2007
Abstract. Approximate Petri nets (AP-nets) can be used for the knowledge representation and approximate reasoning. The AP-net model is defined on the basis of the rough set approa...
JSW
2007
14 years 11 months ago
2007
— 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...
APN
2007
Springer
15 years 5 months ago
2007
Springer
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...
ATVA
2004
Springer
15 years 4 months ago
2004
Springer
102
Voted
DAC
1996
ACM
15 years 3 months ago
1996
ACM
-- This paper presents an efficient method for the timing verification of concurrent systems, modeled as labeled Timed Petri nets. The verification problems we consider require us ...