Generating a Petri net from a CSP specification: A semantics-based method
نویسندگان
چکیده
The specification and simulation of complex concurrent systems is a difficult task due to the intricate combinations of message passing and synchronizations that can occur between the components of the system. Two of the most extended formalisms used to specify, verify and simulate such kind of systems are CSP and the Petri nets. This work introduces a new technique that allows us to automatically transform a CSP specification into an equivalent Petri net. The transformation is formally defined by instrumenting the operational semantics of CSP. Because the technique uses a semantics-directed transformation, it produces Petri nets that are closer to the CSP specification and thus easier to understand. This result is interesting because it allows CSP developers not only to graphically animate their specifications through the use of the equivalent Petri net, but it also allows them to use all the tools and analysis techniques developed for Petri nets. 2012 Civil-Comp Ltd and Elsevier Ltd. All rights reserved.
منابع مشابه
Stochastic Analysis of CSP Specifications Using a CSP-to-Petri Net Translation Tool: CSPN
Abstract An experimental tool and approach has been developed to explore the specification and analysis of stochastic properties for concurrent systems expressed using CSP (communicating sequential processes). The approach is to translate a formal system description into the information needed to predict its behavior as a function of observable parameters. The idea uses a theory based on proven...
متن کاملBrowsing Parallel Process Networks
A hypertext is a non linearly organized browsable information structure The importance of browsing distinguishes hypertext from other network information systems In this paper we demonstrate the use of the Trellis hypertext system and its associated parallel browsing semantics for visualization and simulation of the parallel control ow and message network of CSP programs This is accomplished by...
متن کاملFinite State Automata Semantics in Communicating Sequential Processes
MOTIVATION Traditionally, distributed systems and protocols are described with finite state automata (finite state machines). As result of that, many tools based on finite state automata have been developed and used. Such an example is business state machines used in IBM WebSphere Integration Developer [1]. Later on, other more powerful mathematical tools for specification and analyses of distr...
متن کاملReliability Analysis of Csp Specifications Using Petri Nets and Mark~v Processes
In our research we are developing methodologies and tools to permit stochastic analyses of CSP-based system specifications. In this regard, we have been developing morphisms between CSP-based models and Petri net-based stochastic models. This process has given us insight for further refinements to the original CSP specifications (i.e., identify potential failure processes and recovery actions)....
متن کاملA rule-based evaluation of ladder logic diagram and timed petri nets for programmable logic controllers
This paper describes an evaluation through a case study by measuring a rule-based approach, which proposed for ladder logic diagrams and Petri nets. In the beginning, programmable logic controllers were widely designed by ladder logic diagrams. When complexity and functionality of manufacturing systems increases, developing their software is becoming more difficult. Thus, Petri nets as a high l...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Advances in Engineering Software
دوره 50 شماره
صفحات -
تاریخ انتشار 2012