Describe the process of 'boarding a commercial airplane during a holiday rush' using rigorous programming pseudocode. Include variables for passenger types (families, priority, general), handle error states (e.g., oversized luggage, missing documents), and use nested loops and conditional statements to manage the queuing logic. The logic must be sound and executable by a theoretical machine.