An executable system architecture approach to discrete events system modeling using SysML in conjunction with Colored Petri Net

2008 IEEE International Systems Conference Proceedings, SysCon 2008

Volumn , Issue , 2008, Pages 118-125

  Wang, Renzhong ^a   Dagli, Cihan H ^a  

^a MISSOURI UNIVERSITY OF SCIENCE AND TECHNOLOGY   (United States)

Author keywords

CPN; Discrete event system; Executable architecture; Modeling; SysML

Indexed keywords

ARCHITECTURE; COMPUTER SIMULATION; COMPUTER WORMS; DYNAMIC ANALYSIS; FORMAL LOGIC; GRAPH THEORY; MARINE BIOLOGY; PETRI NETS; PROCESS DESIGN; PROCESS ENGINEERING; RELIABILITY; SEMICONDUCTOR DEVICE MODELS; SPECIFICATIONS; STATIC ANALYSIS; SYSTEMS ANALYSIS;

ANALYTICAL TOOLS; ARCHITECTURE DESIGNS; ARCHITECTURE MODELING; ARCHITECTURE SPECIFICATION; BASIC PRINCIPLES; COLORED PETRI NETS; CPN; DISCRETE EVENTS; DISCRETE-EVENT SYSTEM; EXECUTABLE ARCHITECTURE; FORMAL VERIFICATIONS; INTERNAL CONSISTENCY; MODELING; MODELING TOOLS; NETWORK-CENTRIC SYSTEMS; SIMULATION RESULTS; STATIC AND DYNAMIC; SYSML; SYSTEM ARCHITECTING; SYSTEM ARCHITECTURES; SYSTEM DESIGNS; SYSTEM MODELLING; SYSTEMS CONFERENCE; VISUALIZATION TOOLS;

ARCHITECTURAL DESIGN;

EID: 49049112943     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SYSTEMS.2008.4518997     Document Type: Conference Paper

References (18)

1. Hu, Zhaoxia, and Sol M Shatz. "Mapping UML Diagrams to a Petri Net Notation for System Simulation." In Proceedings of the International Conference on Software Engineering and Knowledge Engineering (SEKE), Banff, Canada, 2004.
2. Pettit, Robert. G. and Hassan Gomaa. "Validation of Dynamic Behavior in UML Using Colored Petri Nets." In Proceedings of UML 2000 Behavioral Semantics Workshop, York, England. October 2000.
3. Faul, Ben M. "Verifiable Modeling Techniques Using a Colored Petri Net Graphical Language." Technology Review Journal, (Spring/Summer 2004). Northrop Grumman, 2004. http://www.ms.northropgrumman.com/PDFs/TRJ/ TRJ-2004/SS/04SS_Faul.pdf (accessed June 2007).
4. Baresil, Luciano, and Mauro Pezzè. "On Formalizing UML with HighLevel Petri Nets." In Concurrent object-oriented programming and petri nets: advances in petri nets, 276-304, New York: Springer-Verlag, 2001.
5. Hansen, Klaus Marius. Towards a Coloured Petri Net Profile for the Unified Modeling: Issues, Definition, and Implementation. Technical Report COT/2-52-V0.1 (DRAFT). Center for Object Technology, Aarhus, Denmark, 2001.
6. Bienvenu, Michael, P., Shin, Insub, and Alexander H. Levis. "C4ISR Architectures: III. An Object-Oriented Approach for Architecture Design." Systems Engineering, Vol. 3, No. 4, 2000. John Wiley and Sons Inc..
7. Wagenhals, Lee, W., Sajjad Haider, and Alexander H. Levis. "Synthesizing Executable Models of Object Oriented Architectures." Systems Engineeringsol. 6, No. 4,2003. Wiley Periodicals, Inc..
8. Kristensen, Lars Michael, Jens Bask Jorgensen, and Kurt Jensen. "Application of Coloured Petri Nets in system development." In Lectures on Concurrency and Petri Nets: Advances in Petri Nets, Ed. Jorg Desel, Wolfgang Reisig, Grzegorz Rozenberg, Vol. 3098 of Lecture Notes in Computer Science. 626-685. Springer-Verlag, June 2004.
9. Rao, Madwaraj, Sreeram Ramakrishnan, and Cihan H. Dagli. "Modeling and Simulation of Net Centric System of Systems Using Systems Modeling Language and Colored Petrinets: A Demonstration Using The Global Earth Observation System of Systems." Systems Engineering, unpublished.
10. Banks, J. Discrete-event System Simulation. Pearson Prentice Hall, Upper Saddle River, NJ. 2005.
11. David, René, and Hassane Alla. "Petri Net for Modeling of Dynamic Systems: A survey." Automatica, vol.30, no. 2. 175-202, 1994.
12. Jensen, Kurt. "An Introduction to the practical use of Colored Petri Nets." In Lectures on Petri Nets II: Applications, Ed. Wolfgang Reisig and Grzegorz Rozenberg, Vol. 1492 of Lecture Notes in Computer Science. 237-292, Springer-Verlag 1998.
13. Westergaard, Michael, "BRITNeY Suite Home Page." University of Aarhus, Aarhus N, Denmark. http://wiki.daimi.au.dk/britney/britney.wiki (accessed Jan 2008)
14. Jensen, Kurt. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use Volume 1: Basic Concepts. Springer-Verlag, 1992.
15. Volume 2: Analysis Methods. Springer-Verlag, 1995.
16. Volume 3: Practical use. Springer-Verlag, 1997.
17. Wells, Lisa. "Performance Analysis using CPN Tools." In Proceedings of the Tenth IEEE/ACM International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS'02), 2002
18. Miller, Joaquin. MDA Guide, Version 1.0.1, Ed. Jishnu Mukerji. Object Management Group, omg/2003-06-01, 12 June 2003. http://www.omg.org/cgi-bin/doc? omg/03-06-01 (accessed Jan 2008).