Sign Up to like & get
recommendations!
0
Published in 2019 at "IEEE Transactions on Parallel and Distributed Systems"
DOI: 10.1109/tpds.2018.2873354
Abstract: Solving linear Diophantine systems of equations is applied in discrete-event systems, model checking, formal languages and automata, logic programming, cryptography, networking, signal processing, and chemistry. For modeling discrete systems with Petri nets, a solution in…
read more here.
Keywords:
linear diophantine;
systems parallel;
diophantine systems;
solving linear ... See more keywords