Synthesis of a Class of Deadlock-Free Petri Nets
Journal of the ACM (JACM)
Modified M-timed Petri nets in modelling and performance evaluation of systems
CSC '87 Proceedings of the 15th annual conference on Computer Science
petri—a UNIX tool for the analysis of Petri nets
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
Turing-Complete Subclasses of CHR
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Hi-index | 0.00 |