scientific article; zbMATH DE number 5506906

MaRDI QIDQ3601872zbMATH OpenFDO

Authors Gabriel Juhás, Robert Lorenz, Sebastian Mauser

Publication date 12 February 2009

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1696454
• scientific article; zbMATH DE number 3974312
• Semi-traces and processes of Petri nets
• Compositional process semantics of Petri Boxes
• scientific article; zbMATH DE number 3967922
• scientific article; zbMATH DE number 3980501
• Petri nets and regular processes
• A fully abstract semantics for termination in Petri nets
• Process expression of bounded Petri nets
• Formal Techniques for Networked and Distributed Systems – FORTE 2004

Cited in

(11)

• Classifying invariant structures of step traces
• scientific article; zbMATH DE number 1696454 (Why is no real title available?)
• Comparative trace semantics of time Petri nets
• Complete Process Semantics for Inhibitor Nets
• scientific article; zbMATH DE number 3974312 (Why is no real title available?)
• scientific article; zbMATH DE number 1927584 (Why is no real title available?)
• scientific article; zbMATH DE number 5033884 (Why is no real title available?)
• Step traces
• Process semantics of general inhibitor nets
• Modelling concurrency with comtraces and generalized comtraces
• Completeness results for single-path Petri nets

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 Q3601872)