Login / Signup

Fast and memory-efficient invariant computation of ordinary Petri nets.

Chong-Fatt LawBah-Hwee GweeJoseph Sylvester Chang
Published in: IET Comput. Digit. Tech. (2007)
Keyphrases