A new class of Petri nets called regular nets is described. The structure of these nets guarantees liveness once the invariants are marked with tokens. Some graphical properties of invariants and variants are discussed. The concept of net labeling is introduced and a systematic method of synthesizing regular nets is presented. It is shown how the safety of such nets can be trivially assured, thus producing live and safe control structures.