Posted on June 13, 2025 by Peter Dragos I moved the blog from AWS to github pages and worked on getting miso set up for the petri nets project.