[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Petri-nets !


I'm actually working in the swiss federal institute of
technologie of Lausanne.

I'm would like to use PVS to make some proofs on Petri-nets
for checking if some states are fireable, I would also use
PVS to check some proprieties of CTL logic on Petri-nets

Did somebody already use PVS to describ Petri-nets, or can
somebody give me guide-lines on how modelise a petri-net
using PVS ? 

Flavio Ferri