Computer Science
Petri Net
100%
Colored Petri Net
59%
Concurrency
43%
Colored Petri Net
37%
State Space
24%
System Description Language
20%
System Description
20%
Formal Semantics
15%
Machine Learning
14%
Formal Definition
14%
Concurrent System
13%
And-States
12%
Industrial Setting
12%
Design
9%
Invariant
9%
Parallel Program
9%
Program Verification
9%
Execution Sequence
9%
Distributed Systems
9%
Individual Project
9%
mobile ad-hoc network
9%
Contact Person
9%
Performance Analysis
9%
Development Tool
9%
Case Study
9%
Research Paper
9%
Denotational Semantics
9%
Theorem Proving
9%
Application Area
9%
World Wide Web
9%
Interaction Pattern
9%
Analysis Technique
9%
Model Checking
8%
State Space Analysis
6%
modeling language
6%
Data Type
6%
Concurrent Process
6%
Data-Value
6%
Revised Version
5%
Engineering
Formal Definition
37%
System Description
28%
Design Specification
28%
Industrial Applications
28%
Illustrates
25%
Industrial Project
23%
Liveness
18%
Petri Net Model
18%
Software Systems
18%
User Interface
18%
Redesign
18%
Tasks
14%
Data Value
14%
Data Type
14%
Communication Protocol
11%
Design Verification
9%
Reachability
9%
Systems Analysis
9%
Simulators
9%
State Line
9%
Error Message
9%
System State
9%
Polytechnic
9%
Dynamic Property
9%
Theoretical Work
9%
Hardware System
9%
Embedded System Design
9%
Central Part
9%
Joints (Structural Components)
9%
Germany
9%
Practical Aspect
9%
System Development
9%
Formal Method
9%
Main Idea
9%
Static Analysis
9%
Application Domain
9%
Design System
9%
Equivalence Class
9%
Individual Section
9%
Engineering
9%
Executable Specification
9%
Core Network
9%
Development Tool
9%
Graphical Representation
9%
Earth and Planetary Sciences
Petri Net
56%
Denmark
21%
Congressional Report
12%
Paper
10%
University
10%
Tool
9%
Set
9%
Space Exploration
9%
