Mandatum Oyj (MANDF) Q4 2025 Earnings Call Transcript

Q4 2025 Earnings Call February 12, 2026 4:00 AM ESTCompany ParticipantsLotta Borgström - Vice President of Investor ...
IEEE

Asynchronous Supervisory Control of DESs With Intermittent Faults Using Labeled Petri Nets

Abstract: This article deals with an asynchronous supervisory control problem that enforces generalized mutual exclusion constraints (GMECs) to partially observed discrete-event systems (DESs) with ...
IEEE

Supervisory Control of Discrete Event Systems Modeled With Labeled Petri Nets for Diagnosability Enforcement

Abstract: This paper proposes an active fault diagnosis method to enforce the diagnosability of discrete event systems using labeled Petri nets by constructing a diagnostic supervisor. For a ...
GitHub

The alpha-miner package implements the α-algorithm for process mining, transforming event logs into petri nets.

# main.py from src.alpha_miner import AlphaMiner # Given event log event_log = [ ['a', 'b', 'c'], ['a', 'c', 'b'], ['a', 'b', 'd'] ] # Instance alpha_algorithm ...
GitHub

This is a simple example of how to deploy an Azure Function using ZipDeploy. This is a very simple way to deploy an Azure Function without having to use a full CI/CD pipeline.

To learn more about how the template was done refer to the blog post on How to Deploy a .NET isolated Azure Function using Zip Deploy in One-Click on frankysnotes.com. There is also a video on YouTube ...