Publication:3146285
From MaRDI portal
zbMath1003.68106MaRDI QIDQ3146285
Publication date: 11 September 2002
90C05: Linear programming
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Construction and SAT-Based Verification of Contextual Unfoldings, Efficient unfolding of contextual Petri nets, Timed Petri nets and timed automata: On the discriminating power of Zeno sequences, Efficient Contextual Unfolding, McMillan’s Complete Prefix for Contextual Nets