Characteristic System for First-Order PDEs