Formalizing Time Petri Nets with Metric Temporal Logic using Promela.

Jutamard Kawises, Wiwat Vatanawood

Browse the full SNPD paper archive.