The label splitting problem

<a class="pub-badge pub-badge--doi" href="https://doi.org/10.1007/978-3-642-35179-2_1" rel="nofollow">DOI 10.1007/978-3-642-35179-2_1</a><a class="pub-badge pub-badge--grey" href="https://zbmath.org/1377.68145" rel="nofollow">zbMATH</a><a class="pub-badge pub-badge--grey" href="https://openalex.org/works/W1526072943" rel="nofollow">OpenAlex</a><a class="pub-badge pub-badge--grey" href="https://www.wikidata.org/wiki/Q62039990" rel="nofollow"><img src="https://www.wikidata.org/static/favicon/wikidata.ico" class="pub-badge-icon" alt=""/>Wikidata</a><a class="pub-badge pub-badge--mardi" href="https://portal.mardi4nfdi.de/wiki/Item:Q4909347" rel="nofollow">MaRDI QID Q4909347</a><a class="pub-badge pub-badge--grey" href="https://fdo.portal.mardi4nfdi.de/fdo/Q4909347" rel="nofollow">FDO</a>

Authors Josep Carmona

Publication date 13 March 2013

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

Full work available at URL https://doi.org/10.1007/978-3-642-35179-2_1

Mathematics Subject Classification ID

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

Recommendations

• Relabelling LTS for Petri net synthesis via solving separation problems
• A geometric characterisation of event/state separation
• A graph-theoretical characterisation of state separation
• scientific article; zbMATH DE number 1302048
• Applying regions

Cited in

(7)

• Edge, event and state removal: the complexity of some basic techniques that make transition systems Petri net implementable
• A Labelled System for IPL with Variable Splitting
• Some Basic Techniques Allowing Petri Net Synthesis: Complexity and Algorithmic Issues
• On the Complexity of Techniques That Make Transition Systems Implementable by Boolean Nets
• Bounded choice-free Petri net synthesis: algorithmic issues
• Target-oriented Petri net synthesis
• Enhancing discovered processes with duplicate tasks

This page was built for publication: The label splitting problem

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