Real-time synchronisation of multiaxis high-speed machines, from SFC specification to Petri net verification

DOI10.1049/IP-CTA:19960266zbMath0875.93289OpenAlexW1984110863MaRDI QIDQ4331602

No author found.

Publication date: 31 March 1997

Published in: IEE Proceedings - Control Theory and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1049/ip-cta:19960266

Mathematics Subject Classification ID

Automated systems (robots, etc.) in control theory (93C85) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Behavior relativity of Petri nets.

This page was built for publication: Real-time synchronisation of multiaxis high-speed machines, from SFC specification to Petri net verification