/**
 * This plugin introduces a net formalism which enables transitions in P/T nets to
 * communicate with each other via synchronous channels.
 */
module de.renew.ptchannel {
    requires de.renew.formalism;
    requires de.renew.simulatorontology;

    exports de.renew.ptchannel;
    exports de.renew.ptchannel.single;
    exports de.renew.ptchannel.nin;
}
