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
Computer and Information Science