Concurrency Automaton Computer science Nondeterministic algorithm Algebra over a field Process calculus Reachability Observer (physics) Algorithm Mathematics Theoretical computer science Pure mathematics Distributed computing Physics
Metrics
7
Cited By
0.00
FWCI (Field Weighted Citation Impact)
29
Refs
0.12
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Citation History
Topics
Petri Nets in System Modeling
Physical Sciences → Computer Science → Computational Theory and Mathematics
Formal Methods in Verification
Physical Sciences → Computer Science → Computational Theory and Mathematics
Fault Detection and Control Systems
Physical Sciences → Engineering → Control and Systems Engineering