Login / Signup

Efficient Synthesis of Weighted Marked Graphs with Circular Reachability Graph, and Beyond.

Raymond R. DevillersEvgeny ErofeevThomas Hujsa
Published in: Trans. Petri Nets Other Model. Concurr. (2021)
Keyphrases