Get the latest Science News and Discoveries

Petri net-based verification takes center stage in latest book on control systems - EurekAlert!

Comprehensive up-to-date news coverage, aggregated from sources all over the world by Google News.

None

Get the Android app