Publication | Open Access

On the enforcement of a class of nonlinear constraints on Petri nets

Mathematical ProgrammingPetri NetNonlinear ConstraintsConstraint SolvingEngineeringConstraint SatisfactionStochastic Petri NetProcess ControlFormal MethodsSystems EngineeringComputer SciencePetri NetsCombinatorial OptimizationFormal VerificationConstraint Programming