×
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
217 views
Game Reformulation
58 views
Time-Memory Scheduling and Code Generation of Real-Time Embedded Software
34 views
Parallel LTL-X Model Checking of High-Level Petri Nets Based on Unfoldings
36 views
Coloured Petri Nets
137 views
Petri net modeling of biological networks
59 views
< Prev