NDLI: An Executable System Architecture Approach to Discrete Events System Modeling Using SysML in Conjunction with Colored Petri Net

Content Provider	IEEE Xplore Digital Library
Author	Renzhong Wang Dagli, C.H.
Copyright Year	2008
Description	Author affiliation: Syst. Eng. Grad. Program, Missouri Univ. of Sci. & Technol., Rolla, MO (Renzhong Wang; Dagli, C.H.)
Abstract	This paper proposes an executable system architecting paradigm for discrete event system modeling and analysis through integration of a set of architecting tools, executable modeling tools, analytical tools, and visualization tools. The essential step is translating SysML-based specifications into colored Petri nets (CPNs) which enables rigorous static and dynamic system analysis as well as formal verification of the behavior and functionality of the SysML-based design. A set of tools have been studied and integrated that enable a structured architecture design process. Some basic principles of executable system architecture for discrete event system modeling that guide the process of executable architecture specification and analysis are discussed. This paradigm is aimed at general system design. Its feasibility was demonstrated with a C4- type network centric system as an example. The simulation results was used to check the overall integrity and internal consistency of the architecture models, refine the architecture design, and, finally, verify the behavior and functionality of the system being modeled.
Starting Page	1
Ending Page	8
File Size	5674359
Page Count	8
File Format	PDF
ISBN	9781424421497
DOI	10.1109/SYSTEMS.2008.4518997
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2008-04-07
Publisher Place	Canada
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	CPN Visualization Discrete-event system Unified modeling language Petri nets Global Earth Observation System of Systems SysML Virtual machining Modeling Analytical models USA Councils Systems engineering and theory Discrete event systems Executable Architecture Virtual manufacturing
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Executable models of influence nets using Design/CPN (1998)

Design of discrete event systems supported on wireless sensors and actuator networks using colored Petri Nets

Executable Models of Influence Nets Using Design/CPN (2001)

Executable models of influence nets using design/cpn (2001).

OPM & color petri nets based executable system of systems architecting: A building block in FILA-SoS

Modeling Recursive Search Algorithms by Means of Hierarchical Colored Petri Nets and CPN Tools

Petri Nets Modelling for Control of Discrete Events Systems

Modeling of dispatching-rules for job shop scheduling in manufacturing systems - a Petri net approach

Development of an RMS model based on colored object-oriented Petri nets with changeable structures

An Executable System Architecture Approach to Discrete Events System Modeling Using SysML in Conjunction with Colored Petri Net

Similar Documents

Executable models of influence nets using Design/CPN (1998)

Design of discrete event systems supported on wireless sensors and actuator networks using colored Petri Nets

Executable Models of Influence Nets Using Design/CPN (2001)

Executable models of influence nets using design/cpn (2001).

OPM & color petri nets based executable system of systems architecting: A building block in FILA-SoS

Modeling Recursive Search Algorithms by Means of Hierarchical Colored Petri Nets and CPN Tools

Petri Nets Modelling for Control of Discrete Events Systems

Modeling of dispatching-rules for job shop scheduling in manufacturing systems - a Petri net approach

Development of an RMS model based on colored object-oriented Petri nets with changeable structures

An Executable System Architecture Approach to Discrete Events System Modeling Using SysML in Conjunction with Colored Petri Net