No label defined (Q5019696)

From MaRDI portal

Jump to:navigation, search

scientific article; zbMATH DE number 7454922

Language	Label	Description	Also known as
English	No label defined	scientific article; zbMATH DE number 7454922

Statements

scholarly article

0 references

0 references

0 references

publication date

10 January 2022

0 references

full work available at URL

https://arxiv.org/abs/2009.08871

0 references

http://eptcs.web.cse.unsw.edu.au/paper.cgi?ICE2020.7

0 references

describes a project that uses

0 references

MaRDI profile type

MaRDI publication profile

0 references

0 references

The synthesis problem for elementary net systems is NP-complete

0 references

Petri net synthesis

0 references

Distributing finite automata through Petri net synthesis

0 references

Trace nets and process automata

0 references

0 references

Bounded choice-free Petri net synthesis: algorithmic issues

0 references

Parameterized Algorithms

0 references

Analysis and Synthesis of Weighted Marked Graph Petri Nets: Exact and Approximate Methods

0 references

0 references

A survey of Petri net methods for controlled discrete event systems

0 references

0 references

0 references

0 references

Finding optimum branchings

0 references

The complexity of synthesizing \textsf{nop}-equipped Boolean Petri nets from \(g\)-bounded inputs

0 references

Hardness Results for the Synthesis of b-bounded Petri Nets

0 references

Synthesis of structurally restricted \(b\)-bounded Petri nets: complexity results

0 references

Theory and applications of models of computation. 16th international conference, TAMC 2020, Changsha, China, October 18--20, 2020. Proceedings

0 references

The complexity of Boolean state separation

0 references

0 references

Elementary net synthesis remains NP-complete even for extremely simple inputs

0 references

Relabelling LTS for Petri net synthesis via solving separation problems

0 references

Presynthesis of bounded choice-free or fork-attribution nets

0 references

Transition systems of Elementary Net Systems with inhibitor arcs

0 references

Identifiers

zbMATH Open document ID

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

zbMATH DE Number

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5019696

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5019696&oldid=38019460"