126 search results - page 6 / 26 » Model checking object petri nets in prolog |
CODES
2002
IEEE
15 years 2 months 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
14 years 9 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
15 years 2 months ago
2001
Springer
ATVA
2007
Springer
15 years 1 months ago
2007
Springer
57
Voted
AMAST
1995
Springer
15 years 1 months ago
1995
Springer
