TeXstudio is a fully featured LaTeX editor. Our goal is to make writing LaTeX documents as easy and comfortable as possible.

LaTeX package and annotated examples for annotating equations using TikZ.

Formal semnatics for Infrastructure as Code for ArchiMate Ontology

A rule-based approach for an automatic quality assessment of a BPMN model.

Token simulation as a plugin for the Camunda Modeler

Validate BPMN diagrams based on configurable lint rules.

A BPMN 2.0 symbol font

This is the public repository to hold the most recent version of the standard PASS Ontolgoy (in OWL), defining the official exchange standard for subject-oriented process models in the Parallel Act…

CoreASM-based PASS interpreter

A C# library to parse or create subject-oriented in-memory PASS models

Website for simulating your token flow

A Tex-Only Excerpt from the Standard-Document Intended For Shared Editing via the Overleaf-Platform

The BPMN 2.0.2 standard as UML class diagram

Documents in which the standard of subject-oriented modeling with PASS and its Execution are described

Project Repository for my Bachelor Thesis

This project provides a cloudbased Workflow Management System. Furthermore, a marketplace for instances of processes is part of this project.

A Standard for Subject-oriented Specification of Systems

Development project for bachlor theses at university of applied sciencies FH JOANNEUM. A tool to test an BPMN2.0 Ontology

Take a BPMN file as input and generates a S-BPM OWL file.

BPMaaS. Platform for buying, selling and reviewing processes

Modelling and Execution Platform for S-BPM.