iig-uni-freiburg / WOLFGANG
Petri Net Editor
☆25Updated 6 years ago
Related projects: ⓘ
- A tool for symulating discrete-event systems using Petri nets.☆18Updated 7 years ago
- Open-source implementation of the Action Language for fUML (Alf) specification.☆30Updated last year
- a library to implement generalised petri nets in C#☆19Updated 8 years ago
- The Melange Language Workbench☆28Updated last year
- Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…☆32Updated 9 months ago
- Chimera: Execution Engine for Case Management☆13Updated 3 years ago
- gemoc-studio☆24Updated last week
- action language providing open class mechanism to xtend/java☆25Updated 11 months ago
- This repository hosts all the projects used in the MDSE Book☆14Updated 5 years ago
- ☆43Updated 7 months ago
- Open Source Parts of IETS3☆42Updated this week
- A fuzzy logic extension of the CLIPS☆68Updated 9 years ago
- Software Language Processing Suite☆45Updated 2 years ago
- PIPE - Platform Independent Petri Net Editor☆231Updated 2 years ago
- Open-source implementation of the Foundational Semantics for Executable UML Models (Foundational UML) specification.☆62Updated last year
- KIELER Lightweight Diagams☆31Updated last month
- Type checking and logical inference for JetBrains MPS☆31Updated 2 weeks ago
- TextUML compiler and the TextUML Toolkit☆73Updated 3 weeks ago
- A VS Code extension that provides language support for prolog☆95Updated 10 months ago
- This ontology is a Linked Data Hub for mathematics☆57Updated 7 months ago
- A collaborative and scalable open source platform for domain-specific models on the web and in the cloud☆68Updated 5 months ago
- Java colored/timed petrinet simulator☆14Updated 13 years ago
- The Object Constraint Language (OCL) is a language for describing rules that apply to MOF conform modelling languages like UML. The OCL i…☆54Updated this week
- Ingrid is a JetBrains MPS plugin allowing the import of ANTLRv4 grammars and creation of an MPS language automatically out of the grammar☆22Updated 5 years ago
- If at first you don't succeed☆12Updated 3 years ago
- A CMMN 1.1 rendering toolkit and web modeler.☆78Updated 3 years ago
- An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.☆14Updated 2 years ago
- Learn Prolog Now LaTeX sources☆80Updated last year
- Simple Prolog to JS transpiler☆20Updated 11 years ago
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆34Updated 7 months ago