126 search results - page 6 / 26 » Model checking object petri nets in prolog |
CODES
2002
IEEE
14 years 13 days ago
2002
IEEE
This paper describes the formal verification of the recently introduced Dual Transition Petri Net (DTPN) models [12], using model checking techniques. The methodology presented a...
DEDS
2006
13 years 7 months ago
2006
In this paper, we propose a method for building the state class graph of a bounded time Petri net (TPN) as a timed automaton (TA), which we call the state class timed automaton. We...
APN
2001
Springer
13 years 12 months ago
2001
Springer
ATVA
2007
Springer
13 years 11 months ago
2007
Springer
AMAST
1995
Springer
13 years 11 months ago
1995
Springer
