Filters








14 Hits in 9.5 sec

Performance Evaluation of CORBA Concurrency Control Service Using Stochastic Petri Nets

Roberta A. A. Fagundes, Paulo R. M. Maciel, Nelson S. Rosa
2007 Revista de Informática Teórica e Aplicada  
This paper presents stochastic Petri net models for performance evaluation of the CORBA Concurrency Control Service (CCS), which mediates concurrent access to objects.  ...  In order to validate the proposed models, CCS performance results obtained using those models are then compared against ones obtained through actual measurements.  ...  Other work in progress also considers evaluating specific CORBA Transaction Service.  ... 
doi:10.22456/2175-2745.5693 fatcat:hpat5zuj5zayjorge7j2nflvru

C4ISR architectures: II. A structured analysis approach for architecture design

Lee W. Wagenhals, Insub Shin, Daesik Kim, Alexander H. Levis
2000 Systems Engineering  
Furthermore, the process incorporates the derivation of an executable model that can reveal the logical, behavioral, and performance characteristics of the architecture.  ...  The process demonstrates the feasibility of developing architecture descriptions that conform to the C4ISR Architecture Framework based on the Structured Analysis paradigm that underlies the concepts and  ...  The basic conversion of an Activity model into a Petri Net was described in Levis and Wagenhals [2000] . Petri Nets consist of places, transitions, directed arcs, and tokens.  ... 
doi:10.1002/1520-6858(2000)3:4<248::aid-sys5>3.0.co;2-m fatcat:l5l36mu3cnf7bl75pdcbnmmpsq

Proving properties of real-time systems through logical specifications and Petri net models

M. Felder, D. Mandrioli, A. Morzenti
1994 IEEE Transactions on Software Engineering  
Recently, a few proposals appeared in the literature suggesting proof methods for concurrent systems that are modelled in terms of Petri nets or other operational formalisms. [91] specifies the properties  ...  of a system modeled by a bounded Petri net in terms of temporal logic.  ...  In particular, ENEL and CISE cooperate to the development of the specification language TRIO, of its environment, and to its application to real-life projects.  ... 
doi:10.1109/32.265634 fatcat:jmj6jga7xrha5o733bwbrgsnbi

Norms and Commitment for iOrgs(TM) Information Systems: Direct Logic(TM) and Participatory Grounding Checking [article]

Carl Hewitt
2010 arXiv   pre-print
Previously Model Checking as been performed using the model of nondeterministic automata based on states determined by time-points.  ...  Similarly extension and revision is required for Grounding Checking properties of systems based on a set of ground inferences.  ...  A helpful review was provided by an anonymous referee for the special issue of the Journal of IGPL on Normative Multi-agent Systems.  ... 
arXiv:0906.2756v6 fatcat:ipieds2zb5fhhglujek5fy3u3q

Improving Business Process Efficiency for Supply Chain Finance: Empirical Analysis and Optimization Based on Stochastic Petri Net

Xuhong Ye, Dongbo Ge, Xueting Bian, Qike Xu, Yun Zhou
2020 IEEE Access  
We empirically model and investigate the processes of supply chain finance by constructing a Stochastic Petri Net based on the field survey of a focal firm.  ...  To improve the performance of SCF processes, we propose three optional adjusting schemes on the basis of information sharing perspective (for the first half of the Petri Net) and risk sharing perspective  ...  MODELING TOOL: PETRI NET Petri Net is a well-known representational language to model business process [29] , which can be used to represent parallel or concurrent activities in a system and can enable  ... 
doi:10.1109/access.2020.2995851 fatcat:oi7rrmdmgzazra2zw53blinibe

Analysis of Probabilistic Basic Parallel Processes [chapter]

Rémi Bonnet, Stefan Kiefer, Anthony Widjaja Lin
2014 Lecture Notes in Computer Science  
Basic Parallel Processes (BPPs) are a well-known subclass of Petri Nets. They are the simplest common model of concurrent programs that allows unbounded spawning of processes.  ...  Our results concern both the Markov-chain model, where processes are scheduled randomly, and the MDP model, where processes are picked by a scheduler.  ...  For instance, φ may model a configuration with one producer and one consumer; then β ≥ φ means that a transaction between a producer and a consumer can take place.  ... 
doi:10.1007/978-3-642-54830-7_3 fatcat:zowsw3s5h5e4tkabug7sgkwuoi

A Deontic Analysis of Inter-Organizational Control Requirements

Vu Hoang Nguyen
2008 Social Science Research Network  
This research focuses on the design and verification of inter-organizational controls.  ...  The vision of the research is a the other side, threats of frauds, terrorism, epidemic diseases, etc. ask for more controls, making trade procedures more cumbersome and spoiling the efforts of trade facilitation  ...  others), and Petri Nets.  ... 
doi:10.2139/ssrn.2051695 fatcat:yggj4yyajvdmjapwuoxtxayowq

A historical perspective on developing foundations iInfo(TM) information systems: iConsult(TM) and iEntertain(TM) apps using iDescribers(TM) information integration for iOrgs(TM) information systems [article]

Carl Hewitt
2010 arXiv   pre-print
between "Leeds" and "England." - A temporal connection between "turning on a computer" and "joining an on-line discussion."  ...  ." - A biological connection between "a dolphin" and "a mammal". - A demographic connection between "undocumented residents of California" and "7% of the population of California." - A geographical connection  ...  were developed including the following: Petri nets Prior to the development of the Actor model, Petri nets were widely used to model nondeterminism.  ... 
arXiv:0901.4934v20 fatcat:dzzvetxiyndi3c5ytyjpcf3kby

BioSilicoSystems – A Multipronged Approach Towards Analysis and Representation of Biological Data (PhD Thesis)

Sridhar Hariharaputran, Sridhar Hariharaputran
2010 Nature Precedings  
MoVisPP, Modelling and Visualization of Pathways using Petri nets is based on the concept of data integration methods combined with construction of Petri net based KEGG pathways on the fly.  ...  modeling and simulation of the biological networks using Petri net based software suites.  ... 
doi:10.1038/npre.2010.5164.1 fatcat:bo3ri2crajb5xk7kukxhe6affa

BioSilicoSystems – A Multipronged Approach Towards Analysis and Representation of Biological Data (PhD Thesis)

Sridhar Hariharaputran, Sridhar Hariharaputran
2010 Nature Precedings  
MoVisPP, Modelling and Visualization of Pathways using Petri nets is based on the concept of data integration methods combined with construction of Petri net based KEGG pathways on the fly.  ...  modeling and simulation of the biological networks using Petri net based software suites.  ... 
doi:10.1038/npre.2010.5164 fatcat:72ufu6ycfba55gi6bvhatcld3e

Process Integration [chapter]

Lachlan Aldred
2009 Modern Business Process Automation  
Furthermore ESBs encourage process integrations to be modelled on their own, logically separate from the process model.  ...  While BPM systems increased ease of use (modelling convenience), long-standing and complex interactions involving many process instances remained difficult to model.  ...  Acknowledgements I would like to gratefully acknowledge the principal supervision of Dr. Arthur ter Hofstede.  ... 
doi:10.1007/978-3-642-03121-2_19 fatcat:4m7pco7va5awtpoia2fb7b3qau

Analysis of Probabilistic Basic Parallel Processes [article]

Rémi Bonnet and Stefan Kiefer and Anthony W. Lin
2014 arXiv   pre-print
Basic Parallel Processes (BPPs) are a well-known subclass of Petri Nets. They are the simplest common model of concurrent programs that allows unbounded spawning of processes.  ...  Our results concern both the Markov-chain model, where processes are scheduled randomly, and the MDP model, where processes are picked by a scheduler.  ...  For instance, φ may model a configuration with one producer and one consumer; then β ≥ φ means that a transaction between a producer and a consumer can take place.  ... 
arXiv:1401.4130v1 fatcat:b4myall445aiffupcgf7nxlxdq

Securing networked embedded systems code through distributed systems analysis

Fernando A. Teixeira, Jose M. S. Nogueira, Leonardo B. Oliveira
2017 2017 IFIP/IEEE Symposium on Integrated Network and Service Management (IM)  
Things and Cloud Computing are increasing the importance of techniques to analyze and understand Networked Embedded Systems.  ...  This growing importance calls for tools able to provide users with correct, reliable and secure systems.  ...  Petri nets (PNs) are formal models developed for modeling of concurrent systems [Murata, 1989; Iordache and Antsaklis, 2009] . They are rst introduced by Carl Adam Petri in 1962.  ... 
doi:10.23919/inm.2017.7987383 dblp:conf/im/TeixeiraNO17 fatcat:zacdqtdyqncj5nf5irwv7rsdgi

Derivation of Data-Driven Software Models from Business Process Representations

Estrela Ferreira Cruz, Ricardo J. Machado, Maribel Y. Santos
2014 2014 9th International Conference on the Quality of Information and Communications Technology  
Acknowledgements I would like to thank every person that helped and supported me during this PhD reseach work. In particular, I would like to express my gratitude to:  ...  , 2001) , such as High-Level Petri nets (Buscemi and Sassone, 2001; Eike et al., 1998) , colored Petri nets (Giaglis, 2001) , hierarchical Petri nets (Oswald et al., 1990) , Time Petri nets (Ling and  ...  The Yasper is a tool for modeling, simulating and analyzing systems workflow based on Petri nets.  ... 
doi:10.1109/quatic.2014.44 dblp:conf/quatic/CruzMS14 fatcat:ac6in6atnrblnntc6zswqcspeq