For the most recent entries see the
Petri Nets Newsletter.
Tan, Q.P.
-
Yu, JinShan;
Li, Tun;
Guo, Yang;
Tan, QingPing:
Scheduling of Transactions Based on Extended Scheduling Timed Petri Nets for SoC System-Level Test-Case Generation.
2006.
-
Yu, JinShan;
Li, Tun;
Guo, Yang;
Tan, QingPing:
Scheduling of Transactions Based on Extended Scheduling Timed Petri Nets for SoC System-Level Test-Case Generation.
2006.
-
Yang, YanPing;
Tan, QingPing;
Xiao, Yong:
Verifying web services composition based on hierarchical colored petri nets.
2005.
-
Yang, YanPing;
Tan, QingPing;
Xiao, Yong:
Model Transformation Based Verification of Web Services Composition.
2005.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Are you trying to get in contact with an author? Try our
database of Petri net researchers.
Back to the Petri Nets Bibliography