Computer Integrated Manufacturing Systems 2012 Issue 8 Formal modeling language of workflow with data-data-aware workflow nets

Formal modeling language of workflow with data-data-aware workflow nets
wang chao xia ; wang jian min ; zhu xiao chen

..............page:1735-1746

Data collection and management method for discrete assembly process of complex product
wan feng ; liu jian hua ; ning ru xin ; li zhang jin

..............page:1819-1828

Dynamic grouping scheduling optimization of multiple activity instances in batch processing workflow
chen zhi gang ; wen yi ping ; kang guo sheng

..............page:1693-1699

Mining method for batch processing workflow model based on WF-net
wen yi ping ; chen zhi gang ; chen tie min

..............page:1795-1800

Optimal design for scale-based product family based on multi-objective firefly algorithm
yuan ji jun

..............page:1801-1809

Dynamic construction and implement method of collaborative application based on PaaS
cui li zhen ; gu lian chao

..............page:1667-1674

Research and development of camshaft CNC grinding process intelligent application system
deng chao zuo ; tang hao ; liu wei ; wan lin lin ; cao de fang ; zhang xiao hong ; zeng yu

..............page:1845-1853

Location-aware workflow modeling and soundness verification method based on Petri net
zhang li ; zhao jiong ; jia wei zuo ; liu ying bo

..............page:1747-1756

Levenshtein distance based process retrieval method
cao bin ; yin jian wei ; chen hui rui

..............page:1766-1773

you xian shu zi chu ban tong gao

..............page:1674-1674

Effective algorithm for deciding S-coverability of workflow nets
lu fa ming ; zeng qing tian ; bao yun xia

..............page:1757-1765

Integrated method of flexible platform modular redesign for complex mechatronics products
li zhong kai ; cheng zhi hong ; cheng gang

..............page:1810-1818

Equipment state recognition and fault prognostics method based on DD-HSMM model
wang ning ; sun shu dong ; li shu min ; cai zhi qiang

..............page:1861-1868

Simulation data generation and experimental platform design for personal scheduling in workflow
zhao jiong ; liu ying bo ; ren zuo quan ; zhang li

..............page:1700-1710

Validity problem for Artifact
wang ying ; liu guo hua ; liu hai bin ; zhao dan feng

..............page:1726-1734

Model of resource package, publication and discovery based on RVCS in cloud manufacturing
zhu li zuo ; zhao yan wei ; wang wan liang

..............page:1829-1838

Activity-based standard cost variance analysis
liu xiao bing ; zhou shi kuan ; meng qiu nan ; bao hong guang ; yang jing ping

..............page:1881-1893

New resources searching strategy for distributed workflow management system
ye shuang ; ye jian hong ; liu chuan cai

..............page:1719-1725

Knowledge service modeling approach for group enterprise cloud manufacturing
li xiang qian ; yang hai cheng ; jing shi kai ; yan yan ; wang guo xin ; feng yu kang

..............page:1869-1880

Network capacity-based algorithm for short term production capacity planning problem in steel plant
song xiao qing ; lv zhi min ; dong shao hua

..............page:1839-1844

Publish/subscribe network service infrastructure design for EDSOA service platform
shi rui sheng ; zhang yang ; chen jun liang ; xie hui ; tan yu zuo ; guo wen zuo ; chai zhao hang

..............page:1659-1666

Event-driven process execution model for process virtual machine
wu dong-yao;wei jun;gao chu-shu;dou wen-shen

..............page:1675-1685

Automatic data mapping in service workfiow
chen zuo juan ; cao jian

..............page:1686-1692

Principal-agent problem for returns fast processing in reverse supply chain
li ming fang ; jiang jia ; xue jing mei

..............page:1894-1901

Development of open architecture special NC system based on embedded multi-CPUs structure
liu ning ; wang gao

..............page:1854-1860

Just-in-time data aggregation approach supporting explorative business processes
wen yan ; liu chen ; han yan bo

..............page:1785-1794

Three-stage algorithm for dynamic service composition
huang zhen guang ; xu jia xing ; yu yang

..............page:1711-1718

TAR：an improved process similarity measure based on unfolding of Petri nets
wang wen-xing;wang jian-min

..............page:1774-1784