Login / Signup
A Polynomial-Time Algorithm to Obtain State Machine Cover of Live and Safe Petri Nets.
Andrei Karatkevich
Remigiusz Wisniewski
Published in:
IEEE Trans. Syst. Man Cybern. Syst. (2020)
Keyphrases
</>
petri net
state machine
state machines
neural network
np hard
manufacturing systems