MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Jiacun Wang" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

4 documents found, showing 1 through 4.

ATOM

Incremental Modeling and Verification of Flexible Manufacturing Systems
by Jiacun Wang, Yi Deng — 1998 — Journal of Intelligent Manufacturing
…- 1 - Incremental Modeling and Verification of Flexible Manufacturing Systems 1 Jiacun Wang…
Cited by 4 (3 self) – Add To MetaCart

Component-Level Reduction Rules for Time Petri Nets with Application in C2 Systems
by Jiacun Wang, Yi Deng — 1998 — Proceedings of the IEEE Conference on System, Man and Cybernetics
…Component-Level Reduction Rules for Time Petri Nets with Application in C2 Systems 1 Jiacun Wang…
Cited by 1 (1 self) – Add To MetaCart

Integrated Architectural Modeling of Real-Time Concurrent Systems with Applications in FMS
by Yi Deng, Jiacun Wang, Rakesh Sinha — 1997 — in FMS, Proceedings of the 10th International Conference on Software Engineering and Knowledge Engineering
… Deng, Jiacun Wang and Rakesh Sinha School of Computer Science Florida International University {deng…
Cited by 4 (3 self) – Add To MetaCart

An intuitive formal approach to dynamic workflow modeling and analysis," presented at
by Jiacun Wang, Daniela Rosca, William Tepfenhart, Allen Milewski, Michael Stoute, Intellipro Inc — 2005 — Third International Conference on Business Process Management
…An Intuitive Formal Approach to Dynamic Workflow Modeling and Analysis Jiacun Wang 1 , Daniela…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 4.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB