scientific article; zbMATH DE number 1497785

MaRDI QIDQ4499202zbMATH OpenFDO

Authors Gabriel Juhás

Publication date 5 March 2001

zbMATH Keywords

Petri netsreachability graphs

Mathematics Subject Classification ID

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

Recommendations

• Automata, Languages and Programming
• scientific article; zbMATH DE number 1341760
• An axiomatization of the token game based on Petri algebras
• scientific article; zbMATH DE number 1490008
• Petri nets are dioids: a new algebraic foundation for non-deterministic net theory

Cited in

(6)

• scientific article; zbMATH DE number 1341757 (Why is no real title available?)
• scientific article; zbMATH DE number 1341760 (Why is no real title available?)
• scientific article; zbMATH DE number 1973124 (Why is no real title available?)
• An axiomatization of the token game based on Petri algebras
• Une nouvelle transformation des réseaux de Petri généralisés : L'abstraction généralisée
• Automata, Languages and Programming

This page was built for publication:

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