Automatic Specification Generation for Tracking Control in Interpreted Petri nets Academic Article in Scopus uri icon

publication date

  • June 29, 2020