@Article{	  adobbati.kilinc.ea:finite,
  author	= {Federica Adobbati and G\"orkem Kilinc and Adrian Puerto
		  Aubel},
  title		= {A Finite Prefix for Analyzing Information Flow Among
		  Transitions of a Free-Choice Net},
  journal	= {IEEE Access},
  volume	= 10,
  month		= {38483 - 38501},
  year		= 2022,
  url		= {http://ieeexplore.ieee.org/abstract/document/9750090}
}