A petri net semantics for web service choreography

Yu Huang, Hanpin Wang. A petri net semantics for web service choreography. In Yookun Cho, Roger L. Wainwright, Hisham Haddad, Sung Y. Shin, Yong Wan Koo, editors, Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), Seoul, Korea, March 11-15, 2007. pages 1689-1690, ACM, 2007. [doi]

@inproceedings{HuangW07:3,
  title = {A petri net semantics for web service choreography},
  author = {Yu Huang and Hanpin Wang},
  year = {2007},
  doi = {10.1145/1244002.1244359},
  url = {http://doi.acm.org/10.1145/1244002.1244359},
  tags = {semantics, web service},
  researchr = {https://researchr.org/publication/HuangW07%3A3},
  cites = {0},
  citedby = {0},
  pages = {1689-1690},
  booktitle = {Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), Seoul, Korea, March 11-15, 2007},
  editor = {Yookun Cho and Roger L. Wainwright and Hisham Haddad and Sung Y. Shin and Yong Wan Koo},
  publisher = {ACM},
  isbn = {1-59593-480-4},
}