Formal description technique SDL for manufacturing systems specification and description.
Rui Manuel SousaGoran D. PutnikPublished in: APMS (1999)
Keyphrases
- manufacturing systems
- formal specification
- high level
- flexible manufacturing systems
- manufacturing environment
- manufacturing processes
- petri net
- complex systems
- quality control
- shop floor
- holonic manufacturing systems
- production scheduling
- control structure
- manufacturing process
- rapid prototyping
- production cost
- specification language
- reverse engineering
- assembly line
- electronic commerce
- search algorithm
- real time