Behavior and Realization Construction for Petri Nets Based on Free Monoid and Power Set Graphs

Julia Padberg, Hartmut Ehrig, Grzegorz Rozenberg. Behavior and Realization Construction for Petri Nets Based on Free Monoid and Power Set Graphs. In Hartmut Ehrig, Gabriel Juhás, Julia Padberg, Grzegorz Rozenberg, editors, Unifying Petri Nets, Advances in Petri Nets. Volume 2128 of Lecture Notes in Computer Science, pages 230-249, Springer, 2001. [doi]

@inproceedings{PadbergER01,
  title = {Behavior and Realization Construction for Petri Nets Based on Free Monoid and Power Set Graphs},
  author = {Julia Padberg and Hartmut Ehrig and Grzegorz Rozenberg},
  year = {2001},
  url = {http://link.springer.de/link/service/series/0558/bibs/2128/21280230.htm},
  tags = {rule-based, graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/PadbergER01},
  cites = {0},
  citedby = {0},
  pages = {230-249},
  booktitle = {Unifying Petri Nets, Advances in Petri Nets},
  editor = {Hartmut Ehrig and Gabriel Juhás and Julia Padberg and Grzegorz Rozenberg},
  volume = {2128},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-43067-9},
}