POSES++

Predicate transition net Oriented Simulation and Engineering System

A declarative concurrent language for running large-scale industrial simulations. It implements Petri nets with predicates, transitions and arcs. The arc expressions are matching expressions similar to PROLOG.