Selective petri net languages

DOI10.1080/00207169208804073zbMath0761.68053OpenAlexW1994668704MaRDI QIDQ4016902

Ferucio Laurenţiu Ţiplea

Publication date: 16 January 1993

Published in: International Journal of Computer Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/00207169208804073

zbMATH Keywords

Petri netselective function

Mathematics Subject Classification ID

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

Cites Work

• A structure to decide reachability in Petri nets
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Selective petri net languages