Specification of a Batch Plant using Process Algebra and Petri Nets
Paper i proceeding, 2005

Författare

Petter Falkman

Chalmers, Signaler och system, System- och reglerteknik, Automation

Bengt Lennartson

Chalmers, Signaler och system, System- och reglerteknik, Automation

Michael Tittus

Proc. of the IEEE Conference on Automation Science and Engineering

Ämneskategorier

Data- och informationsvetenskap

Mer information

Skapat

2017-10-06