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
Bengt Lennartson
Chalmers, Signaler och system, System- och reglerteknik
Michael Tittus
Proc. of the IEEE Conference on Automation Science and Engineering
Ämneskategorier
Data- och informationsvetenskap