Translating Structural Process Properties to Petri Net Markings. Linker, S. In Brandt, J. & Heljanko, K., editors, 12th International Conference on Application of Concurrency to System Design, ACSD 2012, Hamburg, Germany, June 27-29, 2012, pages 82–91, 2012. IEEE Computer Society.
Translating Structural Process Properties to Petri Net Markings [link]Paper  doi  bibtex   
@inproceedings{DBLP:conf/acsd/Linker12,
  author       = {Sven Linker},
  editor       = {Jens Brandt and
                  Keijo Heljanko},
  title        = {Translating Structural Process Properties to Petri Net Markings},
  booktitle    = {12th International Conference on Application of Concurrency to System
                  Design, {ACSD} 2012, Hamburg, Germany, June 27-29, 2012},
  pages        = {82--91},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ACSD.2012.11},
  doi          = {10.1109/ACSD.2012.11},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/Linker12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0