Some results on Petri net languages

DOI10.1109/9.52310MaRDI QIDQ3493244zbMATH OpenOpenAlexFDO

Authors Stéphane Lafortune, Hyuck Yoo

Publication date 1990

Published in IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/a99431b40a03e25e8fe05a7987bb542d00b3bd29

zbMATH Keywords

finitely recursive processesPetri net languagesPetri nets

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

• Petri net languages revisited
• scientific article; zbMATH DE number 4092787
• scientific article; zbMATH DE number 4001509
• On the regularity of Petri net languages
• scientific article; zbMATH DE number 2087213
• On the rationality of Petri net languages
• scientific article; zbMATH DE number 3974313
• A logical approach of Petri net languages
• scientific article; zbMATH DE number 4024805
• Selective petri net languages

Cited in

(29)

• Towards a hierarchy of nets
• A logical approach of Petri net languages
• Vocabulary Petri nets
• A complexity characteristic of Petri net languages
• On capacity of labeled Petri net languages
• Petri net languages and infinite subsets of \(\mathbb{N}^m\)
• Verification of scenarios in Petri nets using compact tokenflows
• Deterministic weak-and-marked Petri net languages are regular
• scientific article; zbMATH DE number 4201657 (Why is no real title available?)
• Labeled Step Sequences in Petri Nets
• Language-Based Comparison of Petri Nets with Black Tokens, Pure Names and Ordered Data
• scientific article; zbMATH DE number 3896315 (Why is no real title available?)
• scientific article; zbMATH DE number 3915636 (Why is no real title available?)
• scientific article; zbMATH DE number 3932401 (Why is no real title available?)
• scientific article; zbMATH DE number 3972197 (Why is no real title available?)
• scientific article; zbMATH DE number 3974313 (Why is no real title available?)
• scientific article; zbMATH DE number 4024805 (Why is no real title available?)
• scientific article; zbMATH DE number 4024816 (Why is no real title available?)
• scientific article; zbMATH DE number 4092787 (Why is no real title available?)
• scientific article; zbMATH DE number 29612 (Why is no real title available?)
• Selective petri net languages
• Petri net languages revisited
• scientific article; zbMATH DE number 1305001 (Why is no real title available?)
• scientific article; zbMATH DE number 3992937 (Why is no real title available?)
• scientific article; zbMATH DE number 4001509 (Why is no real title available?)
• scientific article; zbMATH DE number 777281 (Why is no real title available?)
• scientific article; zbMATH DE number 3892612 (Why is no real title available?)
• scientific article; zbMATH DE number 5201373 (Why is no real title available?)
• On growth function of Petri net

This page was built for publication: Some results on Petri net languages

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