A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Web Service Automatic Composition Model Based on Colored Petri Nets
2013
Communications and Network
Preserved Fulltext
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
2001
Enabling Technology for Simulation Science V
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf.
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
1993
IEEE Transactions on Systems, Man and Cybernetics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf.
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
1999
Information and Software Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2009; you can also visit the original URL.
The file type is application/pdf.
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]
1987
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf.
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
1998
IEEE Transactions on Software Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
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
1999
Systems Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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>3.0.co;2-d
fatcat:qajhtvlxrfeplmgytg5kbarmhe
Validation and verification of decision making rules
1997
Automatica
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf.
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
2013
INCOSE International Symposium
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2003
Systems Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf.
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
2002
DAIMI Report Series
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
1999
DAIMI Report Series
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2009
Systems Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2014
Computing Handbook, Third Edition
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
., 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