For the most recent entries see the
Petri Nets Newsletter.
Xu, D.
-
Xu, Dianxiang;
He, Xudong:
Generation of test requirements from aspectual use cases.
2007.
-
Xu, Dianxiang;
Nygard, Kendall:
A threat-driven approach to modeling and verifying secure software.
2005.
-
Xu, Dianxiang;
Yin, Jianwen;
Deng, Yi;
Ding, Junhua:
A Formal Architectural Model for Logical Agent Mobility.
2003.
-
He, Xudong;
Xu, D.;
Deng, Y.:
Schedulability Analysis of Real-Time Systems Using Time Petri Nets.
2002.
-
Xu, Dianxiang;
He, Xudong;
Deng, Yi:
Schedulability Analysis of Real-Time Systems Using Time Petri Nets.
2002.
-
Xu, Dianxiang;
Volz, Richard A.;
Ioerger, Thomas R.:
Generating Parallel Plans Based on Planning Graph Analysis of Predicate/Transition Nets.
2002.
-
Xu, D.;
Deng, Y.:
Modeling mobile agent systems with high level Petri nets.
2000.
-
Xu, Dianxiang;
Deng, Yi:
Modeling Mobile Agent Systems with High Level Petri Nets.
2000.
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