A random walk explorer for colored Petri nets
Primary LanguageGoGNU Affero General Public License v3.0AGPL-3.0