Publication | Open Access

Petri nets with causal time for system verification