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)

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

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)