Simulating Petri nets with Boolean Matrix Logic Programming

Open in new window