Inproceedings,

Validation of Discrete Event Processes implemented on PLCs based on Petri Nets.

, and .
ICARSC, page 143-148. IEEE, (2021)

Meta data

Tags

Users

  • @dblp

Comments and Reviews