Publication | Open Access
On the enforcement of a class of nonlinear constraints on Petri nets
104
Citations
36
References
2015
Year
Mathematical ProgrammingPetri NetNonlinear ConstraintsConstraint SolvingEngineeringConstraint SatisfactionStochastic Petri NetProcess ControlFormal MethodsSystems EngineeringComputer SciencePetri NetsCombinatorial OptimizationFormal VerificationConstraint Programming
| Year | Citations | |
|---|---|---|
Page 1
Page 1