A Colored Petri Net Model of VHDL.
Serafín OlcozJosé Manuel ColomPublished in: Formal Methods Syst. Des. (1995)
Keyphrases
- petri net model
- petri net
- service composition
- production process
- web services
- hardware implementation
- manufacturing systems
- fpga implementation
- hardware description language
- integrated circuit
- field programmable gate array
- hardware design
- model based diagnosis
- multi dimensional
- complex systems
- multi agent
- production system
- service oriented
- face recognition
- image sequences
- computer vision