Spatial specification of hypertorus interconnect by infinite and reenterable coloured Petri nets.
Dmitry A. ZaitsevTatiana R. ShmelevaBirgit PröllPublished in: Int. J. Parallel Emergent Distributed Syst. (2022)
Keyphrases
- coloured petri nets
- formal verification
- high speed
- spatial data
- spatial and temporal
- spatial information
- spatio temporal
- spatial distribution
- model checking
- user defined
- spatial relations
- spatial databases
- databases
- high level
- parallel algorithm
- space time
- data analysis
- data structure
- spatial relationships
- spatial reasoning
- specification language
- machine learning
- spatial patterns
- neural network