Expert Systems with Applications · 2009 · 41 citations · 12 references
EngineeringInformation SystemsSystems EngineeringSystems ArchitectureFunctional ValidationFunctional VerificationPetri NetsService-oriented ArchitectureFunctional Safety ValidationPetri Net AnalysisPetri Net ModelsPetri Net SemanticsPetri Net VerificationService Composition Patterns
12