Performance safety enforcement in strongly connected timed event graphs
Zhou He, Ziyue Ma, Wei Tang
Topics & Concepts
Computer scienceUpper and lower boundsHeuristicPetri netOperator (biology)Event (particle physics)Integer programmingInteger (computer science)EnforcementMathematical optimizationDistributed computingMathematicsAlgorithmPolitical sciencePhysicsArtificial intelligenceBiochemistryLawQuantum mechanicsProgramming languageGeneChemistryTranscription factorMathematical analysisRepressorPetri Nets in System ModelingFormal Methods in VerificationSmart Grid Security and Resilience