GitHub - dalam004/pipeplus: PipePlus is a tool to model, analyze verify discrete, continuous and hybrid systems using Hybrid Predicate Transition Nets. · GitHub

Name		Name	Last commit message	Last commit date
api		api
apps		apps
core		core
dist		dist
domain		domain
presentation		presentation
.gitignore		.gitignore
pom.xml		pom.xml

About

PipePlus is a tool to model, analyze verify discrete, continuous and hybrid systems using Hybrid Predicate Transition Nets.

hybrid-petri-nets model-checking model-translation modeling petri-nets predicate-transition-nets simulation

0 stars

1 watching

Report repository

Releases

Packages

Used by

Contributors

Languages