941 search results - page 51 / 189 » History-Dependent Petri Nets |
QEST
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract—ITPN-PerfBound is a graphical tool for the modeling and performance bound analysis of Interval Time Petri Nets (ITPN), that has been developed within the DrawNET modelin...
LPNMR
2001
Springer
14 years 1 months ago
2001
Springer
In this paper bounded model checking of asynchronous concurrent systems is introduced as a promising application area for answer set programming. As the model of asynchronous syst...
CONCUR
1992
Springer
14 years 1 months ago
1992
Springer
Petri Place/Transition (PT) nets are one of the most widely used models of concurrency. However, they still lack, in our view, a satisfactory semantics: on the one hand the "...
ECEASST
2008
13 years 9 months ago
2008
: This paper introduces negative application conditions for reconfigurable place/transition nets. These are Petri nets together with a set of rules that allow changing the net and ...
ICTAI
2003
IEEE
14 years 2 months ago
2003
IEEE
The fuzzy belief Petri net we propose in this paper propagates fuzzy beliefs from observations at nodes that represent measured parameters to fuzzy beliefs of the truths of parame...