Synthesis of state machine diagrams from communication diagrams using Petri nets

Toshiyuki Miyamoto, Hiroyuki Kurahata, Taku Fujii, Ryoji Hosokawa. Synthesis of state machine diagrams from communication diagrams using Petri nets. ISSE, 6(1-2):39-46, 2010. [doi]

@article{MiyamotoKFH10,
  title = {Synthesis of state machine diagrams from communication diagrams using Petri nets},
  author = {Toshiyuki Miyamoto and Hiroyuki Kurahata and Taku Fujii and Ryoji Hosokawa},
  year = {2010},
  doi = {10.1007/s11334-009-0104-5},
  url = {http://dx.doi.org/10.1007/s11334-009-0104-5},
  tags = {state machines},
  researchr = {https://researchr.org/publication/MiyamotoKFH10},
  cites = {0},
  citedby = {0},
  journal = {ISSE},
  volume = {6},
  number = {1-2},
  pages = {39-46},
}