Search Sciweavers | Sciweavers

126 search results - page 6 / 26

» Model checking object petri nets in prolog

128

click to vote

CODES
2002
IEEE

86views Software Engineering» more CODES 2002»

Symbolic model checking of Dual Transition Petri Nets

15 years 10 months ago

Download eprints.ecs.soton.ac.uk

This paper describes the formal veriﬁcation of the recently introduced Dual Transition Petri Net (DTPN) models [12], using model checking techniques. The methodology presented a...

Mauricio Varea, Bashir M. Al-Hashimi, Luis Alejand...

claim paper

Read More »

131

Voted

DEDS
2006

111views more DEDS 2006»

Model Checking of Time Petri Nets Using the State Class Timed Automaton

15 years 4 months ago

Download www.irccyn.ec-nantes.fr

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...

Didier Lime, Olivier H. Roux

claim paper

Read More »

123

click to vote

APN
2001
Springer

94views Artificial Intelligence» more APN 2001»

Model Checking LTL Properties of High-Level Petri Nets with Fairness Constraints

15 years 9 months ago