Statements (55)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
Modeling Language
|
| gptkbp:allows |
Simulation of models
|
| gptkbp:developedBy |
gptkb:University_of_Aarhus
|
| gptkbp:hasCitations |
Learning curve for new users
Complexity in large systems |
| gptkbp:hasFeature |
Event-driven modeling
Dynamic behavior modeling Hierarchical modeling State-based modeling |
| gptkbp:hasRelatedPatent |
Distributed systems
Network protocols Workflow management |
| https://www.w3.org/2000/01/rdf-schema#label |
CPN-UML
|
| gptkbp:isAvailableIn |
Commercial software
Open-source tools |
| gptkbp:isCompatibleWith |
Other modeling languages
|
| gptkbp:isDocumentedIn |
Research articles
Technical reports User manuals |
| gptkbp:isInfluencedBy |
Formal methods
Object-oriented design |
| gptkbp:isPartOf |
Software development lifecycle
Modeling tools Modeling frameworks Modeling methodologies Modeling best practices |
| gptkbp:isPromotedBy |
Academic institutions
Professional organizations Industry conferences User communities |
| gptkbp:isRelatedTo |
Model checking
System architecture Concurrency control Petri nets Software design patterns UML_diagrams |
| gptkbp:isSupportedBy |
Software tools
Simulation environments |
| gptkbp:isTaughtIn |
Academic courses
|
| gptkbp:isUsedBy |
Practitioners
Researchers |
| gptkbp:isUsedFor |
Performance analysis
Unified Modeling Language Process optimization System verification Resource allocation modeling Colored_Petri_Nets |
| gptkbp:isUsedIn |
Software engineering
|
| gptkbp:isUtilizedIn |
Research papers
Case studies |
| gptkbp:isVisitedBy |
1990s
|
| gptkbp:provides |
Graphical representation
|
| gptkbp:supports |
System design
Analysis of systems |
| gptkbp:usedFor |
Modeling concurrent systems
|