{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"verifydtapn","owner":"TAPAAL","isFork":false,"description":"Verification engine for TAPAAL that uses the discrete semantics and supports EF, AG, EG and AF queries also for nets with weighted arcs but only with closed intervals. ","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":1,"issueCount":2,"starsCount":3,"forksCount":7,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-17T20:58:26.746Z"}},{"type":"Public","name":"tapaal-gui","owner":"TAPAAL","isFork":false,"description":"TAPAAL is a tool for verification of Timed-Arc Petri Nets developed at Department of Computer Science at Aalborg University.","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":3,"issueCount":0,"starsCount":3,"forksCount":11,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-17T17:59:42.574Z"}},{"type":"Public","name":"unfoldTACPN","owner":"TAPAAL","isFork":false,"description":"TAPAAL unfolder for Colored Timed Arc Petri Nets","allTopics":[],"primaryLanguage":{"name":"Perl","color":"#0298c3"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":2,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-17T12:40:53.721Z"}},{"type":"Public","name":"www.tapaal.net","owner":"TAPAAL","isFork":false,"description":"Source code for the tapaal.net webpage.","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":1,"starsCount":0,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-17T08:31:45.067Z"}},{"type":"Public","name":"verifypn","owner":"TAPAAL","isFork":false,"description":"The engine accepts Petri nets in XML format and verifies a reachability query and aims to provide a fast untimed engine for TAPAAL.","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":3,"issueCount":10,"starsCount":7,"forksCount":16,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-16T09:55:56.960Z"}},{"type":"Public","name":"verifytapn","owner":"TAPAAL","isFork":false,"description":"VerifyTAPN is a stand-alone verification engine for timed-arc Petri nets, developed for the verification tool TAPAAL.","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":1,"issueCount":4,"starsCount":1,"forksCount":4,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-21T09:37:51.668Z"}},{"type":"Public","name":".github","owner":"TAPAAL","isFork":false,"description":"","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-09-21T12:02:37.558Z"}},{"type":"Public","name":"TAPAAL","owner":"TAPAAL","isFork":false,"description":"TAPAAL is a tool for modelling, simulation and verification of Timed-Arc Petri nets","allTopics":["verification","formal-methods","modelchecker"],"primaryLanguage":null,"pullRequestCount":0,"issueCount":2,"starsCount":5,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-09-21T10:44:35.023Z"}},{"type":"Public","name":"chocolatey-tapaal","owner":"TAPAAL","isFork":false,"description":"Files for creating chocolatey package <a href=\"https://chocolatey.org/packages/tapaal\" rel=\"nofollow\">https://chocolatey.org/packages/tapaal</a>","allTopics":[],"primaryLanguage":{"name":"PowerShell","color":"#012456"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-11-15T18:48:56.310Z"}},{"type":"Public","name":"homebrew-tapaal","owner":"TAPAAL","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Ruby","color":"#701516"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-11-13T09:52:32.110Z"}},{"type":"Public","name":"snapcraft-tapaal","owner":"TAPAAL","isFork":false,"description":"Source for building TAPAAL for snapcraft <a href=\"https://snapcraft.io/tapaal\" rel=\"nofollow\">https://snapcraft.io/tapaal</a>","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":1,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-11-13T09:47:04.086Z"}},{"type":"Public","name":"docs.tapaal.net","owner":"TAPAAL","isFork":false,"description":"Online Documentation for TAPAAL","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-08-08T17:24:00.732Z"}},{"type":"Public","name":"tapaalusermanual","owner":"TAPAAL","isFork":false,"description":"","allTopics":[],"primaryLanguage":null,"pullRequestCount":1,"issueCount":0,"starsCount":0,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-11-07T08:24:27.072Z"}}],"repositoryCount":13,"userInfo":null,"searchable":true,"definitions":[],"typeFilters":[{"id":"all","text":"All"},{"id":"public","text":"Public"},{"id":"source","text":"Sources"},{"id":"fork","text":"Forks"},{"id":"archived","text":"Archived"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"TAPAAL repositories"}