Modelling of Process of Electronic Signature with Petri Nets and (Max, Plus) Algebra