Title: Distributed Embedded Controller Development with Petri Nets
Subjects: Embedded computer systems, Petri nets