GradNova

Home
Find Faculty
Universities
Research
Home
/
Research
/

Petri Nets in System Modeling

Petri Nets in System Modeling

12 faculty research Petri Nets in System Modeling on GradNova.

N
Distributed Systems and Fault Tolerance
Embedded Systems Design Techniques
Parallel Computing and Optimization Techniques
Petri Nets in System Modeling
+1
R
Formal Methods in Verification
Logic, Programming, and Type Systems
Model-Driven Software Engineering Techniques
Petri Nets in System Modeling
+1
M
Marco Paolieri

Senior Research Associate and Part-Time Lecturer of Computer Science

Computer Science

University of Southern California

Embedded Systems Design Techniques
Formal Methods in Verification
Parallel Computing and Optimization Techniques
Petri Nets in System Modeling
+1
L
Distributed Systems and Fault Tolerance
Embedded Systems Design Techniques
Parallel Computing and Optimization Techniques
Petri Nets in System Modeling
+1
P
Pavithra Prabhakar

Professor, Cleve Moler and MathWorks Endowed Chair in Mathematical and Engineering Software

Computer Science

University of New Mexico

Formal Methods in Verification
Logic, Programming, and Type Systems
Petri Nets in System Modeling
Real-Time Systems Scheduling
+1
H
Auction Theory and Applications
Mobile Agent-Based Network Management
Multi-Agent Systems and Negotiation
Petri Nets in System Modeling
+1
M
Michael Zapp

Senior Instructor, Associate Head Undergraduate (On leave)

Computer Science

University of Manitoba

Distributed Systems and Fault Tolerance
Logic, Programming, and Type Systems
Parallel Computing and Optimization Techniques
Petri Nets in System Modeling
M
Adaptive Control of Nonlinear Systems
Advanced Control Systems Optimization
Formal Methods in Verification
Petri Nets in System Modeling
+1
G
Formal Methods in Verification
Logic, Reasoning, and Knowledge
Petri Nets in System Modeling
Semantic Web and Ontologies
+2
A
Business Process Modeling and Analysis
Formal Methods in Verification
Petri Nets in System Modeling
Software Reliability and Analysis Research
+1
R
Robert Pettit

Professor of Practice and Associate Chair (Graduate), Department of Computer Science

Computer Science

George Mason University

Mission-Critical Software
Real-Time Embedded Software
Software Design
Software Engineering
+6
P
Distributed Systems and Fault Tolerance
Formal Methods in Verification
Logic, Programming, and Type Systems
Parallel Computing and Optimization Techniques
+1