mist software on GitHub

Software OPEN SOURCE
  • Subject:
    acm: TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS | TheoryofComputation_MISCELLANEOUS

Safety checker for Petri Nets (and monotonic extensions)
Share - Bookmark