GradNova

Universities

Research

Blog

Petri Nets in System Modeling

11 faculty research Petri Nets in System Modeling on GradNova.

Nathan Fisher

Professor, Computer Science

Computer Science

Wayne State University

Distributed Systems and Fault Tolerance

Embedded Systems Design Techniques

Parallel Computing and Optimization Techniques

Petri Nets in System Modeling

Richard Trefler

Associate Professor

David R. Cheriton School of Computer Science

University of Waterloo

Formal Methods in Verification

Logic, Programming, and Type Systems

Model-Driven Software Engineering Techniques

Petri Nets in System Modeling

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

Linh Thi Xuan Phan

Professor

Computer Science

University of Pennsylvania

Distributed Systems and Fault Tolerance

Embedded Systems Design Techniques

Parallel Computing and Optimization Techniques

Petri Nets in System Modeling

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

Haiping Xu

Professor / Chairperson

Computer & Information Science

University of Massachusetts Dartmouth

Auction Theory and Applications

Mobile Agent-Based Network Management

Multi-Agent Systems and Negotiation

Petri Nets in System Modeling

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

Majid Zamani

Associate Professor

Computer Science

University of Colorado Boulder

Adaptive Control of Nonlinear Systems

Advanced Control Systems Optimization

Formal Methods in Verification

Petri Nets in System Modeling

Gopal Gupta

Professor

Computer Science

University of Texas at Dallas

Formal Methods in Verification

Logic, Reasoning, and Knowledge

Petri Nets in System Modeling

Andrew Miner

Associate Professor

Computer Science

Iowa State University

Business Process Modeling and Analysis

Formal Methods in Verification

Petri Nets in System Modeling

Software Reliability and Analysis Research

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