NTHRYS › PhD Assistance › Theoretical Computer Science

Theoretical Computer Science

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Petri Nets and Concurrent System Verification

Studies Petri net models for concurrent systems including reachability analysis, deadlock detection, and performance evaluation.