Specification of a Batch Plant using Process Algebra and Petri Nets
Paper in proceeding, 2005
Author
Petter Falkman
Chalmers, Signals and Systems, Systems and control
Bengt Lennartson
Chalmers, Signals and Systems, Systems and control
Michael Tittus
Proc. of the IEEE Conference on Automation Science and Engineering
Subject Categories (SSIF 2011)
Computer and Information Science