Auflistung nach Schlagwort "Petri nets"
1 - 10 von 10
Treffer pro Seite
Sortieroptionen
- ZeitschriftenartikelAutomatisierte Compliance-Zertifizierung Cloud-basierter Geschäftsprozesse(Wirtschaftsinformatik: Vol. 53, No. 3, 2011) Accorsi, Rafael; Lowis, Lutz; Sato, YoshinoriDie in wachsendem Ausmaß geforderte Compliance von Geschäftsprozessen kann beim Cloud-Computing bisher – wenn überhaupt – nur mit großem, manuellem Aufwand nachgewiesen werden. Ohne entsprechende Zertifizierung werden aber viele Interessenten keine Cloud-basierten Geschäftsprozesse einsetzen. Der Beitrag stellt ein neues Verfahren zur automatisierten Compliance-Prüfung von Prozessen vor, bei dem Prozesse und Regeln als Petrinetze formalisiert werden. Außerdem wird eine Klassifikation von Compliance-Anforderungen aufgestellt, aus der Muster für die Prüfung abgeleitet werden. Anhand der Muster werden Evidenzen bezüglich der Regeleinhaltung automatisiert erzeugt.AbstractA key problem in the deployment of large-scale, reliable cloud computing concerns the difficulty to certify the compliance of business processes operating in the cloud. Standard audit procedures such as SAS-70 and SAS-117 are hard to conduct for cloud-based processes. The paper proposes a novel approach to certify the compliance of business processes with regulatory requirements. The approach translates process models into their corresponding Petri net representations and checks them against requirements also expressed in this formalism. Being based on Petri nets, the approach provides well-founded evidence on adherence and, in case of noncompliance, indicates the possible vulnerabilities.
- WorkshopbeitragExploratory Process Discovery for Petri Nets(AWPN 2024 workshop proceedings, 2024) Kovář, Jakub; Bergenthum, Robin
- ZeitschriftenartikelMixed-Paradigm Process Modeling with Intertwined State Spaces(Business & Information Systems Engineering: Vol. 58, No. 1, 2016) Smedt, Johannes; Weerdt, Jochen; Vanthienen, Jan; Poels, GeertBusiness process modeling often deals with the trade-off between comprehensibility and flexibility. Many languages have been proposed to support different paradigms to tackle these characteristics. Well-known procedural, token-based languages such as Petri nets, BPMN, EPC, etc. have been used and extended to incorporate more flexible use cases, however the declarative workflow paradigm, most notably represented by the Declare framework, is still widely accepted for modeling flexible processes. A real trade-off exists between the readable, rather inflexible procedural models, and the highly-expressive but cognitively demanding declarative models containing a lot of implicit behavior. This paper investigates in detail the scenarios in which combining both approaches is useful, it provides a scoring table for Declare constructs to capture their intricacies and similarities compared to procedural ones, and offers a step-wise approach to construct mixed-paradigm models. Such models are especially useful in the case of environments with different layers of flexibility and go beyond using atomic subprocesses modeled according to either paradigm. The paper combines Petri nets and Declare to express the findings.
- KonferenzbeitragModeling Classes of Body Sensor Networks(Modellierung 2024, 2024) Carwehl, Marc; Reisig, WolfgangComputer-embedded systems frequently manifest in diverse variants, featuring slight differences in interfaces and functionalities, yet fundamentally grounded in a shared functional kernel. To address this variability, we propose to employ a schematic model of the functional kernel, from which concrete system instances are derived. This modeling methodology leverages well-established principles from predicate logic and Petri nets, augmented with the dynamic extensions provided by the \textsc{Heraklit} infrastructure. As a practical case study, we explore the realm of Body Sensor Networks (BSNs), a domain increasingly pivotal in the realm of medical diagnosis. Our work showcases the versatility and adaptability of our modeling framework in the context of BSNs, offering insights into its potential applications in the broader landscape of embedded systems and beyond.
- ZeitschriftenartikelModeling IT Availability Risks in Smart Factories(Business & Information Systems Engineering: Vol. 62, No. 4, 2020) Miehle, Daniel; Häckel, Björn; Pfosser, Stefan; Übelhör, JochenIn the course of the ongoing digitalization of production, production environments have become increasingly intertwined with information and communication technology. As a consequence, physical production processes depend more and more on the availability of information networks. Threats such as attacks and errors can compromise the components of information networks. Due to the numerous interconnections, these threats can cause cascading failures and even cause entire smart factories to fail due to propagation effects. The resulting complex dependencies between physical production processes and information network components in smart factories complicate the detection and analysis of threats. Based on generalized stochastic Petri nets, the paper presents an approach that enables the modeling, simulation, and analysis of threats in information networks in the area of connected production environments. Different worst-case threat scenarios regarding their impact on the operational capability of a close-to-reality information network are investigated to demonstrate the feasibility and usability of the approach. Furthermore, expert interviews with an academic Petri net expert and two global leading companies from the automation and packaging industry complement the evaluation from a practical perspective. The results indicate that the developed artifact offers a promising approach to better analyze and understand availability risks, cascading failures, and propagation effects in information networks in connected production environments.
- WorkshopbeitragModeling meets Large Language Models(Modellierung 2024 Satellite Events, 2024) Forell, Martin; Schüler, SelinaModeling business processes is often challenging due to its complexity and potential for errors. One key issue arises when process experts and modelers are different individuals, which can lead to communication gaps and result in low-quality business process models. Recognizing this, our paper prioritizes the initial phase of modeling in Business Process Management (BPM). We propose a method that leverages Large Language Models (LLMs) to efficiently transform written business process descriptions into comprehensive graphical models. This approach offers a standardized and streamlined procedure to enhance the quality and effectiveness of business process modeling. While we focus on Petri nets as a primary example, our approach is adaptable to other graphical modeling languages. We present a novel method involving a series of LLMs to extract essential data, setting the stage for creating various graphical models. This technique aims to generate initial drafts that can be further refined, and its sequential application allows for adaptability to different modeling tools, including but not limited to the Horus Business Modeler.
- WorkshopbeitragModelling and Analysis of Microservice Based Systems by Composing Petri Nets(AWPN 2024 workshop proceedings, 2024) Kılınç Soylu, Görkem; Bernardinello, Luca
- KonferenzbeitragPractical Experience with Petriflow: Enriched Process Models Serving as Implementation(Modellierung 2024 Satellite Events, 2024) Juhás, Gabriel; Mladoniczky, Milan; Petrovič, ĽubošIn this paper we discuss experiences gained by using low-code language Petriflow, based on extended Petri nets enriched by data variables and forms. We illustrate on several real-life use cases how the Petriflow models of business processes can directly be used as implementation when deployed in Petriflow interpreter.
- KonferenzbeitragA Report on Automatic Generation of Petri Net Exercise and Exam Task Instances(Modellierung 2022 Satellite Events, 2022) Brandt, Andre; Siegburg, Marcellus; Voigtländer, Janis; Wang, KeWe report on generators for different task types addressing Petri net concepts from a modeling lecture for undergraduate students. A focus is on how to control difficulty and intended insights about the subject matter on the learners’ side. We explain the influence of provided configuration parameters for several task types on an exemplary instance each, and comment on presentation and implementation, as well as very briefly on exam experience.
- WorkshopbeitragUtilization of Heterogeneity in Modular Reachability Analysis for Petri Nets(AWPN 2024 workshop proceedings, 2024) Schultz, Marlene