Skip to content

Commit

Permalink
Additional test for the (very extensive) model for kxover_client.pnml
Browse files Browse the repository at this point in the history 
Note: this model may not be in sync with its actual source, it is a demo here.
Source is https://github.com/arpa2/kxover/tree/master/process/petrinet
  • Loading branch information
@vanrein
vanrein committed Jan 24, 2018
1 parent 8d2c0bd commit e402913
Show file tree
Hide file tree
Showing 3 changed files with 1,297 additions and 0 deletions.
Loading

0 comments on commit e402913

Please sign in to comment.