21 Hits in 2.6 sec

Limitations of Dijkstra's Semaphore Primitives and Petri nets

S. Rao Kosaraju
1973 Proceedings of the fourth symposium on Operating system principles - SOSP '73  
Patil [8] proves that the semaphores with the P and V primitives are not sufficiently powerful. He suggests a generalization of the P primitive.  ...  Recently various attempts have been made to study the limitations of Dijkstr~s semaphore primitives for the synchronization problem of cooperating sequential processes [3, 4,6, 8] .  ...  LIMITATIONS OF PETRI NETS In this section we want to show that Petri nets cannot realize the 2 Producer 2 consumer problem.  ... 
doi:10.1145/800009.808062 dblp:conf/sosp/Kosaraju73 fatcat:6axjwehdyvckxdgk6hdcy4acz4

A Petri Net Perspective on the Resource Allocation Problem in Software Engineering [chapter]

Juan-Pablo López-Grao, José-Manue Colom
2012 Lecture Notes in Computer Science  
We propose a new subclass of Petri Nets that generalizes the previously known RAS subclasses and we present a taxonomy of anomalies that can be found in the context of software systems.  ...  The success of this research stems from the identification of subclasses of Petri Nets that correspond to an RAS abstraction of these systems.  ...  Finally, some useful definitions and basic concepts of Petri nets are provided as reference in appendix A. 2 The RAS View of a Software Application Example 1 presents a humorous variation of Dijkstra's  ... 
doi:10.1007/978-3-642-29072-5_8 fatcat:7r4w7lzznbgcpkejhh2fgskn2i

SynchNet: A Petri Net Based Coordination Language for Distributed Objects [chapter]

Reza Ziaei, Gul Agha
2003 Lecture Notes in Computer Science  
The level of abstraction that it provides allows tools and techniques developed for Petri nets to be readily applied to analysis and verification of the specified coordination patterns.  ...  SynchNet, which is inspired by Petri nets, has a simple syntax and semantics, but is expressive enough to code many of the commonly used coordination patterns.  ...  Since synchnets are in fact Petri nets, we can benefit from the rich and well studied theory of Petri Nets.  ... 
doi:10.1007/978-3-540-39815-8_20 fatcat:4wjycsk7k5hd3obyoqkkxijy5e

Self-assessment procedure XXI: a self-assessment procedure on concurrency

Brain A. Rudolph
1990 Communications of the ACM  
Petri nets. b. Semaphore-based systems. c. Finite state machines. d. Turing machines.  ...  All places in both Petri nets will have been marked during execution. One of the two Petri nets is not strictly conservative. Exactly n tokens will remain in each Petri net when execution halts.  ...  publication and its date appear, and notice is given that copying is by permission of the Association for Computing Machinery.  ... 
doi:10.1145/78607.78616 fatcat:zrb3z3r4brhotigrhq6sxqvneu

Software Transactional Memory with Interactions [article]

Marino Miculan, Marco Peressotti
2020 arXiv   pre-print
To overcome this limitation, in this paper we present Open Transactional Memory (OTM), a programming abstraction supporting safe, data-driven interactions between composable memory transactions.  ...  Figure 6 : 6 Examples of Petri nets.  ...  A Petri net is readily implemented in OTM by representing each transition by a thread, and each place by a semaphore.  ... 
arXiv:2007.10809v1 fatcat:2wkfde5yprgqveqeowittsu3re

Constrained expressions: toward broad applicability of analysis methods for distributed software systems

Laura K. Dillon, George S. Avrunin, Jack C. Wileden
1988 ACM Transactions on Programming Languages and Systems  
: SDYMOL, CSP, and Petri nets.  ...  These tools should be applicable to designs and other preimplementation descriptions of a system, as well as to completed programs.  ...  of computation (state machines and Petri nets) and appropriate for different stages of software development.  ... 
doi:10.1145/44501.44502 fatcat:qho3bamzbvcani2gjvpwtlz4ou

Formal methods for the specification and design of real-time safety critical systems

Jonathan S. Ostroff
1992 Journal of Systems and Software  
Safety critical computers increasingly a ect nearly every aspect of our lives. Computers control the planes we y on, monitor our health in hospitals and do our work in hazardous environments.  ...  This paper surveys formal methods for specifying, designing and verifying real-time systems, so as to improve their safety and reliability.  ...  Petri Net theory was one of the rst concurrent formalisms to deal with real-time. Two basic timed versions of Petri Nets have been introduced: time Petri Nets 88 and timed Petri Nets 124 .  ... 
doi:10.1016/0164-1212(92)90045-l fatcat:zgh4zhmpjbbarecagzor3cxkh4

Reference List of Indexed Articles

2001 Information Processing Letters  
Ibarra and L.E. Rosier, On the decidability of equivalence for deterministic pushdown transducers 13 (3) (1981) 89-93 726. H. Yamasaki, On weak persistency of Petri nets 13 (3) (1981) 94-97 727. T.  ...  Peterson, A note on colored Petri nets 11 (1) (1980) 40-43 591. L.G. Valiant, Computing multivariate polynomials in parallel 11 (1) (1980) 44-45 592. R.P. Brent and H.T.  ... 
doi:10.1016/s0020-0190(01)00177-6 fatcat:vksyqyokdzdztflaez5hlnchxy

Development and validation of Nessie: a multi-criteria performance estimation tool for SoC

Alienor Richard, Cedric Hernalsteens, Frederic Robert
2009 2009 Ph.D. Research in Microelectronics and Electronics  
We successively present the modeling of these primitives and the way the solutions are defined and explored based on the power criterion further in Section.  ...  The order of firing will determine the way the Petri Net will be executed. To avoid this non-determinism, the building of Petri Nets is restricted to places with one single output edge.  ...  Figure 4 . 27 : 427 Petri Net of the inner loop of the matrix multiplication function with feedback Figure 4 . 28 : 428 Developed Petri Net of the inner loop of the matrix multiplication function Figure  ... 
doi:10.1109/rme.2009.5201349 fatcat:lk2x6luvzzfopl24okg723lfhu

Actor Model of Computation: Scalable Robust Information Systems [article]

Carl Hewitt
2015 arXiv   pre-print
It was also influenced by the programming languages Lisp, Simula 67 and Smalltalk-72, as well as ideas for Petri Nets, capability-based systems and packet switching.  ...  The Actor model is a mathematical theory that treats "Actors" as the universal primitives of concurrent digital computation.  ...  , Scott Smith, Carolyn Talcott, Prasanna Thati, and Aki Yonezawa.  ... 
arXiv:1008.1459v38 fatcat:x3qe3cpbnjgkxafsw3lkhw2ucm

Third Generation Computer Systems

Peter J. Denning
1971 ACM Computing Surveys  
Properties of specific systems are not discussed except where examples are useful. The technical aspects of issues and concepts are stressed, the nontechnical aspects mentioned only briefly.  ...  A perfunctory knowledge of third generation systems is presumed.  ...  These papers deal with various aspects of parallel computation, such as Petri Net theory, program schemata, and speed-independent computation.  ... 
doi:10.1145/356593.356595 fatcat:zjvhn5qcbffz7gw354sbcpitq4

The Problem of Mutual Exclusion: A New Distributed Solution

Rajeev Chawla
This is to certify that the thesis prepared by Rajeev Chawla entitled The Problem of Mutual Exclusion -A New Distributed Solution has been approved by his committee as satisfactory completion  ...  Methodologies like Petri Nets[Peterson 1981b], CSP [Hoare 1985] , and UNITY [Chandy 1988 ] require the program But, it is often inconvenient and tedious as these primitives are not the same as the primitives  ...  Extensions of P and V Primitives Semaphores with P and V primitives have been demonstrated to be adequate and sufficient to solve a wide variety of synchronization problems.  ... 
doi:10.25772/shhe-jy72 fatcat:jmyl3nklkvflnnj57fg3oeni6e

Concepts of Concurrent Programming

David W. Bustard
This module discusses the nature of such programs and provides an overview of the means by which they may be constructed and executed.  ...  Emphasis is given to the terminology used in this field and the underlying concepts involved.  ...  SEI-CM-24 Concepts of Concurrent Programming 1 1 Petri nets Petri nets [Peterson81, Reisig85] offer a means of modeling information flow in a concurrent system. There are several varieties of net.  ... 
doi:10.1184/r1/6572699 fatcat:x7tfxynpnfdw7mzt4l5xoqt2ry

Tackling Large State Spaces in Performance Modelling [chapter]

William J. Knottenbelt, Jeremy T. Bradley
Formal Methods for Performance Evaluation  
Stochastic performance models provide a powerful way of capturing and analysing the behaviour of complex concurrent systems.  ...  However, and especially when analysing industrial-scale systems, workstation memory and compute power is often overwhelmed by the sheer number of states.  ...  Acknowledgements The authors would like to thank Nicholas Dingle, Peter Harrison and Aleksandar Trifunovic who contributed hugely to the development of the work presented here and without whom this would  ... 
doi:10.1007/978-3-540-72522-0_8 dblp:conf/sfm/KnottenbeltB07 fatcat:fnrvb77mgjevlcioxo3qu4bad4

Code generation from on-board software models conforming to the On-board Software Reference Architecture (OSRA) using DLR software technologies [article]

Raghuraj Tarikere Phaniraja Setty, Universität Stuttgart, Universität Stuttgart
The European Space Agency (ESA) and its industrial partners have come up with the concept of On-board Software Reference Architecture (OSRA); with an aim of favoring the adoption of a software reference  ...  It is developed by the group 'Onboard Software Systems' of the German Aerospace Center (DLR) department of Software for Space Systems and Interactive Visualization.  ...  Acknowledgments I am using this opportunity to express my gratitude to everyone who supported me throughout the course of this Master thesis. I would like to first of all thank my  ... 
doi:10.18419/opus-10028 fatcat:qcv4ug3tr5fo5bak4gpft4cdkq
« Previous Showing results 1 — 15 out of 21 results