State Function-Based Flash Specifications for Open Systems in the Absence or Presence of Chemical Reactions