Process versus unfolding semantics for Place/Transition Petri nets
- 作者José Meseguer; Ugo Montanari; Vladimiro Sassone
- 卷第153卷
- 印刷ISSN0304-3975
- 文件大小3247.46KB
- 发表时间1996
- DOI10.1016/0304-3975(95)00121-2
- 页码171-210
同期刊推荐
Designing for Additive ManufacturingB. Vayre; F. Vignat; F. Villeneuve · Procedia CIRP · 2012
Development of Strip EDMSong, K.Y.; Chung, D.K.; Park, M.S.; Chu, C.N. · Procedia CIRP · 2013
Design for Obsolescence Risk ManagementSandborn, Peter · Procedia CIRP · 2013
Configuration Management Process CapabilitiesAli, Usman; Kidd, Callum · Procedia CIRP · 2013
Measuring Global Production EffectivenessLanza, Gisela; Stoll, Johannes; Stricker, Nicole; Peters, Steven; Lorenz, Christof · Procedia CIRP · 2013
Maintenance-centered Circular ManufacturingTakata, Shozo · Procedia CIRP · 2013
PrefaceMitsuishi, Mamoru; Bártolo, Paulo · Procedia CIRP · 2013
Extending ANEMONA with NDT PhasesGiret, Adriana; Salido, Miguel A. · Procedia CIRP · 2013