![](/img/cover-not-exists.png)
[ACM Press the 30th Annual ACM Symposium - Salamanca, Spain (2015.04.13-2015.04.17)] Proceedings of the 30th Annual ACM Symposium on Applied Computing - SAC '15 - Symmetry reduced state classes for time petri nets
Bourdil, Pierre-Alain, Berthomieu, Bernard, Zilio, Silvano Dal, Vernadat, FrançoisYear:
2015
Language:
english
DOI:
10.1145/2695664.2695803
File:
PDF, 621 KB
english, 2015