Specification of a Batch Plant using Process Algebra and Petri Nets
Paper in proceedings, 2005

Author

Petter Falkman

Chalmers, Signals and Systems, Systems and control, Automation

Bengt Lennartson

Chalmers, Signals and Systems, Systems and control, Automation

Michael Tittus

Proc. of the IEEE Conference on Automation Science and Engineering

Subject Categories

Computer and Information Science

More information

Created

10/6/2017