Inproceedings,

Computation of resource circuits of Petri nets by using binary decision diagrams

, , , and .
Modeling, Simulation and Applied Optimization (ICMSAO), 2013 5th International Conference on, page 1--6. IEEE, (April 2013)
DOI: 10.1109/icmsao.2013.6552618

Meta data

Tags

Users

  • @fernand0

Comments and Reviews