From UML Sequence Diagrams to Labeled Generalized Stochastic Petri Net Models Using Graph TransformationIn J.J.
Petri nets , Predicate/Transition nets  and in particular, labeled generalized stochastic Petri nets (LGSPN)  are formal and graphical methods  for modeling complex systems in distributed environments.
In section 3 we recall some basic concepts about UML sequence diagrams, Labeled Generalized Stochastic Petri Nets, graph transformation, and e-entrepreneurship domain.
Our objective is to propose an automatic generation of Labeled Generalized Stochastic Petri Nets from Sequence Diagrams using graph transformation.
Franceschinis, Modelling with Generalized Stochastic Petri Nets
, John Wiley & Sons, New York, NY, USA, 1995.