论文信息 - Executable System Architecting Using SysML in Conjunction with Colored Petri Nets - 字舞流文

Executable System Architecting Using SysML in Conjunction with Colored Petri Nets

Cihan H. Dagli | Renzhong Wang

[1] Sajjad Haider,et al. Synthesizing executable models of object oriented architectures , 2002, FME 2002.

[2] Lars Michael Kristensen,et al. Application of Coloured Petri Nets in System Development , 2003, Lectures on Concurrency and Petri Nets.

[3] Hassan Gomaa,et al. Validation of Dynamic Behavior in UML Using Colored Petri Nets , 2000 .

[4] Cihan H. Dagli,et al. Modeling and simulation of net centric system of systems using systems modeling language and colored Petri-nets: A demonstration using the global earth observation system of systems , 2008 .

[5] Alexander H. Levis,et al. C4ISR architectures : III. An Object-Oriented approach for architecture design , 2000 .

[6] Kurt Jensen,et al. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 2, Analysis Methods , 1992 .

[7] Sol M. Shatz,et al. Mapping UML Diagrams to a Petri Net Notation for System Simulation , 2004, SEKE.