×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [initial marking]
1 Formal Synthesis and Control of Soft Embedded Real-Time Systems Pao-Ann Hsiung National Chung Cheng University Dept. of Computer Science and Information
215 views
Game Reformulation
48 views
Time-Memory Scheduling and Code Generation of Real-Time Embedded Software
30 views
Parallel LTL-X Model Checking of High-Level Petri Nets Based on Unfoldings
34 views
Coloured Petri Nets
129 views
Petri net modeling of biological networks
54 views
< Prev