Sebastian Mauser

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Synthesis of Petri Nets from Term Based Representations of Infinite Partial Languages Fundamenta Informaticae	2010-02-05	Paper
Comparison of different algorithms to synthesize a Petri net from a partial language Transactions on Petri Nets and Other Models of Concurrency III	2009-12-09	Paper
Construction of Process Models from Example Runs Transactions on Petri Nets and Other Models of Concurrency II	2009-04-24	Paper
Executability of scenarios in Petri nets Theoretical Computer Science	2009-03-25	Paper
Complete Process Semantics for Inhibitor Nets Petri Nets and Other Models of Concurrency – ICATPN 2007	2009-03-11	Paper
Theory of Regions for the Synthesis of Inhibitor Nets from Scenarios Petri Nets and Other Models of Concurrency – ICATPN 2007	2009-03-11	Paper
scientific article; zbMATH DE number 5506906 (Why is no real title available?)	2009-02-12	Paper
Synthesis of Petri nets from finite partial languages	2009-02-12	Paper
Partial Order Semantics of Types of Nets Lecture Notes in Computer Science	2009-02-03	Paper
Causal semantics of algebraic Petri nets distinguishing concurrency and synchronicity	2009-01-28	Paper
Faster Unfolding of General Petri Nets Based on Token Flows Applications and Theory of Petri Nets	2008-07-03	Paper

Research outcomes over time

This page was built for person: Sebastian Mauser