Discovering Petri Net Models of Discrete-Event Processes by Computing T-Invariants

Tonatiuh Tapia-Flores, Ernesto López-Mellado, Ana Paula Estrada-Vargas, Jean-Jacques Lesage. Discovering Petri Net Models of Discrete-Event Processes by Computing T-Invariants. IEEE T. Automation Science and Engineering, 15(3):992-1003, 2018. [doi]

@article{Tapia-FloresLEL18,
  title = {Discovering Petri Net Models of Discrete-Event Processes by Computing T-Invariants},
  author = {Tonatiuh Tapia-Flores and Ernesto López-Mellado and Ana Paula Estrada-Vargas and Jean-Jacques Lesage},
  year = {2018},
  doi = {10.1109/TASE.2017.2682060},
  url = {https://doi.org/10.1109/TASE.2017.2682060},
  researchr = {https://researchr.org/publication/Tapia-FloresLEL18},
  cites = {0},
  citedby = {0},
  journal = {IEEE T. Automation Science and Engineering},
  volume = {15},
  number = {3},
  pages = {992-1003},
}