Extracting Petri Modules From Large and Legacy Petri Net Models
نویسندگان
چکیده
منابع مشابه
Petri Net Modules
Here we present a new module concept for Petri nets that is based on the component concepts of Continuous Software Engineering (CSE). According to that concept two distinguished interfaces are required. These are import and export interfaces. The import describes the assumptions on the environment, e.g. in terms of used components. The export gives an abstraction of the functionality and presen...
متن کاملOn Proving Large Distributed Systems: Petri Net Modules Verification
Modelling and design of concurrent distributed systems is a complex and errowprone task. Developing a formal basis for constructing and validating such systems remains one of the major goals of researchers in concurrency ([3]). Petri nets has proved to be a basic formalism for modelling and analyzing concurrent systems ([8]). But, most systems that arise from practical applications are very com...
متن کاملSafety Properties in Petri Net Modules
This paper introduces safety properties in the temporal logic sense (as defined in (Manna and Pnueli, 1995)) to Petri net modules. Petri net modules (Padberg, 2001; Padberg, 2002) have been achieved by a transfer of algebraic specification modules to Petri nets. They consist of three nets; the interface nets import and export, and the body of the module. The import net states the prerequisites ...
متن کاملControlling Petri Net Process Models
We present and compare existing formalisms that consider the control of Petri net process models in the area of business processes and web services. Control has the aim to force a process to behave in a desirable way. Process models that behave properly without any control are often called “sound”. For process models that behave properly when being controlled, i.e., for controllable processes, ...
متن کاملPetri Net Models of Multithreadedmultiprocessor
Timed Petri net models of multithreaded ... (January 31, 1997) 2
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Access
سال: 2020
ISSN: 2169-3536
DOI: 10.1109/access.2020.3020213