contains blocks with specific procedures that are used in the Petri net component models

Name | Description |
---|---|

activationCon | activation process of continuous transitions |

activationDis | Activation of a discrete transition |

activationDisIn | Input Activation of a discrete transition |

activationDisOut | Output activation of a discrete transition |

anyTrue | Is any entry of a Boolean vector true? |

anyChange | Does any entry of a Boolean vector change its value? |

enablingInCon | enabling process of input transitions (continuous places) |

enablingInDis | enabling process of discrete input transitions |

enablingOutCon | enabling process of output transitions (continuous places) |

enablingOutDis | enabling process of output transitions |

firingSumCon | calculates the firing sum of continuous places |

firingSumDis | calculates the firing sum of discrete places |

tokenFlowCon | Calculates the token flow for a continuous place. |

Generated at 2019-07-18T01:40:03Z by OpenModelicaOpenModelica 1.14.0~dev-26606-ge0b417b using GenerateDoc.mos