Regulation control in interpreted Petri nets using trace equivalence.
Jesus F. Snchez-Blanco, Antonio Ramrez-Trevio, Alejandra Santoyo-Sanchez
Browse the full SMC paper archive.
Jesus F. Snchez-Blanco, Antonio Ramrez-Trevio, Alejandra Santoyo-Sanchez
Browse the full SMC paper archive.