Have a look at Grillet's Commutative Semigroups. Let $C$ be a commutative semigroup. The outline of the structure theory is as follows (I'll include references to Grillet; see also V.5.7 for an outline of some structure theory for commutative semigroups):
- As arsmath says, $C$ decomposes as a semilattice of archimedean semigroups. The relevant semilattice is the universal semilattice $C_S = C / (2=1)$ on $C$. The decomposition is as follows: the the fibers of the universal map $C \to C_S$ are archimedean semigroups, called the archimedean components of $C$.
- If $C$ is finitely-generated, then so is $C_S$, and hence $C_S$ is finite.
- $C$ is said to be complete if each archimedean component contains an idempotent, and subcomplete if each archimedean component embeds into a complete archimedean semigroup. An archimedean semigroup always contains at most one idempotent, so $C$ is complete iff the composite map $C^S \to C \to C_S$ (which is always injective (II.1.4)) is an isomorphism. Here $C^S = \{x \in C \mid 2x=x\}$ is the co-universal semilattice on $C$, i.e. the semilattice of idempotents in $C$.
- If $C$ is finitely-generated, then $C$ is subcomplete (VII.1.1). The archimedean components of $C$ need not be finitely-generated ([VI.1.5, VI.2.5]), but they do have certain finiteness properties. Thus, arsmath's point that general archimedean commutative semigroups are complicated notwithstanding, for the finitely-generated case, we can focus on the more tractable class of subcomplete archimedean commutative semigroups.
- If $A$ is a complete archimedean semigroup, then $A$ is elementary (III.3.1), i.e. $A$ decomposes as an ideal extension $G \to A \to N$ where $G$ is a group and $N$ is a nilsemigroup, i.e. $N$ has an absorbing element -- an element $\infty \in N$ such that for every $x\in N$, there is $n \in \mathbb N$ such that for all $m \geq n$, $mx = \infty$. If $A$ is subcomplete archimedean, then it has a similar decomposition where $G$ is cancellative, i.e. $A$ is subelementary.
- If $A$ is an archimedean component of a finitely-generated commutative semigroup $C$, then in the decomposition $G \to A \to N$, $G$ is finitely-generated (VI.2.4), but $N$ in general is not. Finitely-generated cancellative commutative semigroups are well-understood (they are products of finite groups and cones in $\mathbb Z^n$), so that part of the structure is comprehensible. But this nilsemigroup part is more mysterious, I think.
Finite generation of $C$ does imply some good properties of $N$, though -- the nilpotence degree has a uniform bound (VI.2.7), i.e. $N$ is a nilpotent semigroup (I find the terminology "nilpotent semigroup" vs. "nilsemigroup" to be confusing, but it's what Grillet uses; presumably it is standard in semigroup theory.). There's more to say here about control over $N$ (VI.3.3) but it involves more terminology which I do not have a great handle on.
Putting it all together, if you have a finitely-generated commutative semigroup $C$, then you can think of it as a finite lattice of a bunch of finite abelian groups equipped with certain positive cones, each of which has a nilpotent commutative semigroup on which it acts, with homomorphisms between these corresponding to the relations in the lattice.