.PNlib.Blocks

Information

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

Contents

NameDescription
 activationConactivation process of continuous transitions
 activationDisActivation of a discrete transition
 activationDisInInput Activation of a discrete transition
 activationDisOutOutput activation of a discrete transition
 anyTrueIs any entry of a Boolean vector true?
 anyChangeDoes any entry of a Boolean vector change its value?
 enablingInConenabling process of input transitions (continuous places)
 enablingInDisenabling process of discrete input transitions
 enablingOutConenabling process of output transitions (continuous places)
 enablingOutDisenabling process of output transitions
 firingSumConcalculates the firing sum of continuous places
 firingSumDiscalculates the firing sum of discrete places
 tokenFlowConCalculates the token flow for a continuous place.
 tokenFlowDisCalculates the token flow for a discrete place.

Generated at 2024-04-19T18:16:02Z by OpenModelicaOpenModelica 1.22.3 using GenerateDoc.mos