The article presents a generalized net model of sequential programs. As a result, generalized net sequential programs are defined. The syntax and semantics of such programs are outlined. In order to define the syntax, reduced generalized nets are used. The semantics is defined by applying Kripke's model, used in propositional dynamic logics. Possible applications of the suggested model are discussed.