Origins and metamorphoses of the Trinity: logic, nets, automata | IEEE Conference Publication | IEEE Xplore