Simulating Petri nets with Boolean Matrix Logic Programming