Bibliography

Formal Aspects for service modelling based on high-level Petri Nets

Michael Köhler and Jan Ortmann.
Formal aspects for service modelling based on high-level Petri nets.
In International Conference on Intelligent Agents, Web Technologies and Internet Commerce (IAWTIC 2005), 2005.

BibTeX

@InProceedings{Koehler+05g,
  author =  {K{\"o}hler, Michael and Ortmann, Jan},
  title = {Formal Aspects for service modelling based on high-level {Petri} Nets},
  booktitle = "International Conference on Intelligent Agents, Web Technologies and Internet Commerce (IAWTIC 2005)",
  year = 2005
}