Homebrew/homebrew-science — pull request #353 by nlohmann (2013-09-24 22:56:16+00:00)
Title: PNAPI: 4.03 - A C++ Petri Net API

The Petri Net API is a C++ library of Petri net-related functions. It is
currently used in more than a dozen Petri net tools, ranging from compilers
to verification tools.