| 
Types of System Models
 | 
  | 
- Formal Models
 
 - Mathematical formulation
  - Defines constraints on function and performance
  - Defines relations of outputs to inputs
  - Has been largely of academic interests; emerging in industrial practice
  
 
 - Uninterpreted Models
 
 - Behavior described as tokens flowing through a queuing network or Petri network
  - Input/output relationships are largely ignored
  - Primary interest is estimating timing delays between inputs and outputs in the system being described
  - Has been largely of academic interest; emerging in industrial practice
  
 
 - Interpreted models
 
 - Actual behavior is described, at some level of abstraction
  - Primary interest is defining functions between  inputs and outputs
  - Has been standard modeling approach in industry for 20+ years