scientific article; zbMATH DE number 1101602

MaRDI QIDQ4371024zbMATH OpenFDO

Authors José Meseguer, Ugo Montanari, Vladimiro Sassone

Publication date 28 January 1998

zbMATH Keywords

Petri nets

Mathematics Subject Classification ID

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

Recommendations

• On the algebraic structure of Petri nets
• scientific article; zbMATH DE number 1302049
• scientific article; zbMATH DE number 2155194
• scientific article; zbMATH DE number 3982529
• Arithmetical representation of Petri nets

Cited in

(20)

• scientific article; zbMATH DE number 1424446 (Why is no real title available?)
• Functorial models for Petri nets
• Whole-grain Petri nets and processes
• Arithmetical representation of Petri nets
• Petri net representation of multi-valued logical regulatory graphs
• scientific article; zbMATH DE number 2088665 (Why is no real title available?)
• scientific article; zbMATH DE number 1614643 (Why is no real title available?)
• On the algebraic structure of Petri nets
• Comparing logics for rewriting: Rewriting logic, action calculi and tile logic
• Models of Computation: A Tribute to Ugo Montanari’s Vision
• scientific article; zbMATH DE number 4049069 (Why is no real title available?)
• Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework
• Multilevel transitive and intransitive non-interference, causally
• Circuits in \textit{RGB Express}
• Efficient reachability graph representation of Petri nets with unbounded counters
• Non-interference by unfolding
• scientific article; zbMATH DE number 2155194 (Why is no real title available?)
• scientific article; zbMATH DE number 3878371 (Why is no real title available?)
• Normal forms for algebras of connections.
• Drags: a compositional algebraic framework for graph rewriting

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