Affiliation:
1. Duke University
2. University of Belgrade, Belgrade, Serbia
Funder
Office of Naval Research
Ministarstvo Prosvete, Nauke i Tehnolo?kog Razvoja
National Science Foundation
Reference22 articles.
1. Peter Adolphs Heinz Bedenbender D Dirzus M Ehlich U Epple M Hankel R Heidel M Hoffmeister H Huhle B Kärcher etal 2015. Reference architecture model industrie 4.0 (rami4. 0). ZVEI and VDI Status Report (2015). Peter Adolphs Heinz Bedenbender D Dirzus M Ehlich U Epple M Hankel R Heidel M Hoffmeister H Huhle B Kärcher et al. 2015. Reference architecture model industrie 4.0 (rami4. 0). ZVEI and VDI Status Report (2015).
2. Structural translation from Time Petri Nets to Timed Automata
3. Analyzing concurrent and fault-tolerant software using stochastic reward nets
4. R. David and H. Alla. 2010. Discrete continuous and hybrid petri nets (2nd edition). R. David and H. Alla. 2010. Discrete continuous and hybrid petri nets (2nd edition).
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献