Inproceedings,

A constraint transformation technique in Petri nets with backward-conflict-free uncontrollable structures.

, , and .
ACC, page 365-370. IEEE, (2015)

Meta data

Tags

Users

  • @dblp

Comments and Reviews