Theoretical properties and gracefulness of planar graphs