The synthesis problem

DOI10.1007/978-3-642-38143-0_8MaRDI QIDQ4924451zbMATH OpenOpenAlexFDO

Authors Wolfgang Reisig

Publication date 31 May 2013

Published in Transactions on Petri Nets and Other Models of Concurrency VII (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-38143-0_8

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• The synthesis problem of Petri nets
• Petri net synthesis
• scientific article; zbMATH DE number 1302048
• scientific article; zbMATH DE number 512821
• Distributing finite automata through Petri net synthesis

Cited in

(14)

• Discovering workflow nets using integer linear programming
• Cellular adaptive Petri net based on learning automata and its application to the vertex coloring problem
• Distributing finite automata through Petri net synthesis
• Vacuity in synthesis
• Topics in region theory and synthesis problems
• scientific article; zbMATH DE number 1696446 (Why is no real title available?)
• Synthesis with Identifiers
• scientific article; zbMATH DE number 512821 (Why is no real title available?)
• Synthesis: words and traces
• Protocol synthesis and re-synthesis with optimal allocation of resources based on extended Petri nets
• Modular synthesis of Petri nets from regular languages
• Modeling and synthesis for supervisory control on Petri nets for distributed objects. II. A supervisor synthesis method for a set of general form sequences
• Applying regions
• Petri net synthesis

This page was built for publication: The synthesis problem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4924451)