For the most recent entries see the
Petri Nets Newsletter.
Yu, H.
-
Yang, Li;
Ege, Raimund K.;
Yu, Huiqun:
Mediation Systems Modeling and Verification.
2005.
-
Yu, Huiqun;
He, Xudong;
Deng, Yi;
Mo, Lian:
A Formal Approach to Designing Secure Software Architectures.
2004.
-
Yu, Huiqun;
He, Xudong;
Gao, Shu;
Deng, Yi:
Formal Software Architecture Design of Secure Distributed Systems.
2003.
-
Yu, H.;
Reyesb, A.;
Cangc, S.;
Lloyd, S.:
Combined Petri net modelling and AI based heuristic hybrid search for flexible manufacturing systems - part 1. Petri net modelling and heuristic search.
2003.
-
Yu, H.;
He, Xudong;
Deng, Y.;
Mo, L.:
A Formal Method for Analyzing Software Architecture Models in SAM.
2002.
-
Yu, H.;
He, Xudong;
Gao, S,;
Deng, Y.:
Modeling and Analyzing SMIL Documents in SAM.
2002.
-
Yu, Huiqun;
He, Xudong;
Gao, Shu;
Deng, Yi:
Modeling and Analyzing SMIL Documents in SAM.
2002.
-
Yu, Huiqun;
He, Xudong;
Deng, Yi;
Mo, Lian:
Formal Analysis of Real-Time Systems with SAM.
2002.
-
Yu, Huiqun;
He, Xudong;
Deng, Yi;
Mo, Lian:
Formal Analysis of Real-Time Systems with SAM.
2002.
-
Yu, Huiqun;
He, Xudong;
Deng, Yi;
Mo, Lian:
A Formal Method for Analyzing Software Architecture Models in SAM.
2002.
-
Reyes, A.;
Yu, H.;
Kelleher, G.;
Lloyd, S.:
Integrating Petri Nets and hybrid heuristic search for the scheduling of FMS.
2002.
-
Reyes Moro, A.;
Yu, H.;
Kelleher, G.:
A PN reachability analysis branching scheme for the scheduling of FMS.
2000.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
The link to the author's homepage is provided by the
database of Petri net researchers.
Back to the Petri Nets Bibliography