Automatically Transform Rust Source to Petri Nets for Checking Deadlocks.

Kaiwen Zhang Guanjun Liu

Published in: CoRR (2022)

Keyphrases

petri net
discrete event systems
manufacturing systems
petri net model
colored petri nets
high level petri nets
fuzzy petri net
service composition
ims ld
low cost
process model
state machines
stochastic petri net
computational intelligence
discrete dynamical systems