References for Petri net: Reachability

Back to article
See all references for article

References to other articles in the 'Reachability' section

ELEMENTARY
EXPSPACE
Linear temporal logic
Method of analytic tableaux
Primitive recursive
Reachability problem

Source on Wikipedia (https://en.wikipedia.org)

--

Gemipedia Home
Go to Article
Using English Wikipedia. Change Language?

--
Size: 804.0 B. 99.71% smaller than original: 270.15 KB 🤮
Fetched: 26 ms. Converted: 473 ms. 🐇

Made with 📚 and ❤️ by Acidus (mailto://)

All Wikipedia content is licensed under CC BY-SA 3.0