Synthesis of asynchronous controllers using integer linear programming (bibtex)

by Josep Carmona, José-Manuel Colom and Jordi Cortadella

Reference:

Synthesis of asynchronous controllers using integer linear programming (Josep Carmona, José-Manuel Colom and Jordi Cortadella), In IEEE Transactions on CAD of Integrated Circuits and Systems, volume 25, 2006.

Bibtex Entry:

@Article{Carmona2006,
  author   = {Josep Carmona and Jos{\'{e}}-Manuel Colom and Jordi Cortadella and Fernando Garc{\'{\i}}a{-}Vall{\'{e}}s},
  journal  = {{IEEE} Transactions on {CAD} of Integrated Circuits and Systems},
  title    = {Synthesis of asynchronous controllers using integer linear programming},
  year     = {2006},
  number   = {9},
  pages    = {1637--1651},
  volume   = {25},
  doi      = {10.1109/TCAD.2005.859516},
  groups   = {silarri:6},
  keywords = {Petri Net Structure Theory, Petri Net Analysis, Petri Net Modelling, Digital Circuits},
  url      = {https://doi.org/10.1109/TCAD.2005.859516},
}