173 Hits in 6.6 sec

Web Service Automatic Composition Model Based on Colored Petri Nets

Kai Nie, Houxiang Wang, Xiaopei Jing, Zhihao Xie
2013 Communications and Network  
Finally modeling composite processes of Web services based on CPN is applied to a case of naval vessel command and control system.  ...  A model based colored Petri net (CPN) to provide semantic support for web service composition is proposed. The basic composite constructs in the model are sequence, concurrent, choice and loop.  ...  This sort of composite structure is suitable to be used to model large systems. Figure 2 . 2 Colored Petri net of command and control system.  ... 
doi:10.4236/cn.2013.51b023 fatcat:4clwenzbjzg7hf6uid7usq74cy

Modeling effects-based operations in support of war games

Lee W. Wagenhals, Alexander H. Levis, Alex F. Sisti, Dawn A. Trevisani
2001 Enabling Technology for Simulation Science V  
software implementation of Colored Petri nets called Design/CPN.  ...  Two of the key components of the system are: (a) an Influence net modeler such as the Campaign Assessment Tool (CAT) developed at AFRL/IF, and (b) an executable model generator and simulator based on the  ...  ACKNOWLEDGEMENTS This work was supported by the Office of Naval Research under grant no. N00014-00-1-0267.  ... 
doi:10.1117/12.440041 fatcat:lievtbh46rao3hwoqiuk4ecuh4

Requirements determination using the cube tool methodology and Petri nets

D.M. Perdu, A.H. Levis
1993 IEEE Transactions on Systems, Man and Cybernetics  
Then, for a given scenario, these nets are interconnected and the steps of the methodology are applied again to derive the Petri Net that represents the mission-dependent requirements for the system.  ...  An approach is introduced for deriving executable models from the Cube Tool results in the form of a Petri Net representing each function.  ...  The Cube Tool [l] is a methodology originally developed at Thomson-CSF in France for the design and the analysis of C31 (Command, Control, Communications, and Intelligence) systems; it can also be applied  ... 
doi:10.1109/21.260658 fatcat:j6d3sh5iujcipmxnfwjdz22ica

Introducing software architecture specification and analysis in SAM through an example

J Wang, X He, Y Deng
1999 Information and Software Technology  
In this article, we present a formal systematic software architecture specification and analysis methodology called SAM and show how to apply SAM to specify a command control (C2) system and to analyze  ...  Although there have been many published results on specification and analysis method of software architectures, information on sound systematic methodology for modeling and analyzing software architectures  ...  Acknowledgements We thank the two anonymous referees for careful reading J.  ... 
doi:10.1016/s0950-5849(99)00009-9 fatcat:rlscesdei5bupaukbboks4ittq

Coloured Petri Nets [chapter]

Kurt Jensen
1987 Lecture Notes in Computer Science  
and naval vessel). • Security systems (intrusion alarms, etc.). • Flexible manufacturing.  ...  For CP-nets we should do the same: • During the system specification and modelling the designer gets a lot of knowledge about the system. • Some of this knowledge can easily be formulated as place invariants  ...  . • This is done by exploiting the inherent symmetries of the modelled system. • We define two equivalence relations (one for markings and one for binding elements). • The condensed state spaces are often  ... 
doi:10.1007/978-3-540-47919-2_10 fatcat:ccurqe7vdjbltd5xijzweofmnu

171 Task allocation problems and discrete event systems

1993 Control Engineering Practice  
Systems engineering as manifested in the design of flexible manufacturing systems, organization design as applied to decision making teams that monitor and control engineering systems, and cognitive ergonomics  ...  The allocation of tasks to humans and machines in complex systems is discussed from three perspectives.  ...  Colored Petri Net example The universal Color Set contains three colors, red, white, and blue.  ... 
doi:10.1016/0967-0661(93)91566-f fatcat:d5bmwnixtbaprkmcuiphifv5ue

Integration and analysis of use cases using modular Petri nets in requirements engineering

Woo Jin Lee, Sung Deok Cha, Yong Rae Kwon
1998 IEEE Transactions on Software Engineering  
Furthermore, it is difficult to analyze their global system behavior for completeness and consistency, partly because use cases describe only partial behaviors and because interactions among them are rarely  ...  Software requirements are stated as a collection of use cases, each of which is written in the user's perspective and describes a specific flow of events in the system.  ...  Hong for fruitful discussion on the initial version of this paper. Prof. Matt Jaffe of Embry-Riddle Aeronautical University and Prof.  ... 
doi:10.1109/32.738342 fatcat:n4kl3ibpajhldkllkpvnuk42ty

The use of simulation models in model driven experimentation

Holly A. H. Handley, Zainab R. Zaidi, Alexander H. Levis
1999 Systems Engineering  
In model driven or model based experimentation, the model of the experiment is a key component of the closed loop model of the process.  ...  Starting with preliminary descriptions, the model evolves as more specific details are available and influences the final experimental design. *  ...  A global declaration node of the Colored Petri net contains definitions of all color sets and variables with their domains for the model.  ... 
doi:10.1002/(sici)1520-6858(1999)2:2<108::aid-sys5>;2-d fatcat:qajhtvlxrfeplmgytg5kbarmhe

Validation and verification of decision making rules

Abbas K. Zaidi, Alexander H. Levis
1997 Automatica  
Key Words-Decision making: rule-based systems: Petri nets. Abstract-A methodology for the validation and verification of decision making rules is presented.  ...  A methodology based on Petri nets for addressing the general problem of detecting problematic cases in a set of rules expressed as statements in formal logic is presented and illustrated through an example  ...  The approach uses the colored Petri net formalism to solve the problem. Fig. 1 . 1 An instance of the grid. Fig. 3 . 3 Petri net representation of the rule base.  ... 
doi:10.1016/s0005-1098(96)00165-3 fatcat:xku45u4auve6rmjsfpftaq6z74

Agent-Based Modeling for Systems of Systems

Ankur Mour, C. Robert Kenley, Navindran Davendralingam, Daniel DeLaurentis
2013 INCOSE International Symposium  
About the same time, Eisner, Marciniak, and McMillan (1991) used the term "system of systems" in a paper that described the need for a new discipline that could provide overall management control over  ...  We describe a simulation tool that provides a capability for agent-based modeling and simulation and describe the application of this tool to a system of systems.  ...  Further developments of Petri nets have resulted in colored Petri nets where colored tokens represent the flow of different packets of information along the feasible pathways of the Petri network.  ... 
doi:10.1002/j.2334-5837.2013.tb03067.x fatcat:ufxfgrbi6zcudi4x5i3scwcwia

Synthesizing executable models of object oriented architectures

Lee W. Wagenhals, Sajjad Haider, Alexander H. Levis
2003 Systems Engineering  
Finally the paper describes a mapping between the UML artifacts and an executable model based on colored Petri nets that can be used for logical, behavioral, and performance evaluation of the architecture  ...  It then provides a rationale for style constraints on the use of UML artifacts for representing DoD Command, Control, Communications, Computers, Intelligence, Surveillance, and Reconnaissance (C4ISR) architectures  ...  In this case, the Colored Petri net (CP net) formalism is used to represent the executable. Section 5 discusses the use of the executable model for evaluation.  ... 
doi:10.1002/sys.10049 fatcat:f32bfeuxozehnfu5jmzsypdopi

Facilitating the Practical Use of Coloured Petri Nets

Bo Lindstrøm
2002 DAIMI Report Series  
Also thanks for hiring me as a student programmer for the Caplan project, and for giving me the opportunity to participate in various workshops, conferences, and summer schools. Acknowledgements.  ...  The work in this paper proposing or-gates in influence nets for information assurance is based on work done by Insub Shin, GMU. Special thanks goes to Alexander H. Lewis and Lee W.  ...  In contrast to ordinary Petri nets, CP-nets provide a very compact way of modelling complex systems, which makes CP-nets a powerful language for modelling and analysing industrial-sized systems.  ... 
doi:10.7146/dpb.v31i562.7119 fatcat:veq3vslwhbb2fakra4eyrgxctq

Second Workshop on Practical Use of Coloured Petri Nets and Design/CPN

Kurt Jensen
1999 DAIMI Report Series  
This report contains the proceedings of the Second Workshop on Practical Use of Coloured Petri Nets and Design/CPN, October 13-15, 1999.  ...  Hansen and is documented in their thesis [4]. Seculon is a trademark of Dalcotech A/S [28] . LonWorks and LonTalk are trademarks of Echelon Corporation [31] .  ...  ACKNOWLEDGEMENTS The authors wish to thank the anonymous referees for their review and comments which significantly improved the quality and accuracy of this paper.  ... 
doi:10.7146/dpb.v28i541.7075 fatcat:had4zehpgnd6tewwohtohfnlwm

Service Oriented Architectures, the DoD Architecture Framework 1.5, and Executable Architectures

Lee W. Wagenhals, Alexander H. Levis
2009 Systems Engineering  
model, and the use of that executable model in the evaluation of logical, behavioral, and performance aspects of the architecture.  ...  This paper describes a process for creating a DoDAF 1.5 compliant architecture that includes the description of the SOA aspects, a mapping and a process for converting that architecture to an executable  ...  ACKNOWLEDGMENT This work was supported by the Office of Naval Research under Grant No. N00014-06-1-0081.  ... 
doi:10.1002/sys.20125 fatcat:h2drtngfsbbfle2snf4yncrlkm

Task Analysis and the Design of Functionality [chapter]

David Kieras, Keith Butler
2014 Computing Handbook, Third Edition  
., 1992] provides a sets of large scale examples such as naval vessels. Petri nets.  ...  Petri nets also represent the causal and sequential relationships between the functions performed in a system, but in a rigorous formalism.  ... 
doi:10.1201/b16768-39 fatcat:k3be7oldzjel3cfrrgohz6jqtm
« Previous Showing results 1 — 15 out of 173 results