scientific article; zbMATH DE number 4191145

MaRDI QIDQ3210197zbMATHFDO

Authors José Meseguer, Ugo Montanari, Pierpaolo Degano

Publication date 1989

zbMATH Keywords

Petri net theoryPlace/transition net

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Axiomatizing the algebra of net computations and processes
• An axiomatization of the algebra of Petri net concatenable processes
• An axiomatization of the category of Petri net computations
• Axiomatizing Petri net concatenable processes
• scientific article; zbMATH DE number 1223715

Cited in

(31)

• Declarative operations on nets
• Conditional rewriting logic as a unified model of concurrency
• scientific article; zbMATH DE number 1337886 (Why is no real title available?)
• Contextual Petri nets, asymmetric event structures, and processes
• scientific article; zbMATH DE number 4035156 (Why is no real title available?)
• Processes of timed Petri nets
• Abstract processes and conflicts in place/transition systems
• Axiomatizing Petri net concatenable processes
• On continuous time agents
• An algebraic characterization of independence of Petri net processes
• An axiomatization of the algebra of Petri net concatenable processes
• On the implementation of concurrent calculi in net calculi: two case studies
• Spreading nets: a uniform approach to unfoldings
• Linear logic as a logic of computations
• Petri nets based on Lawvere theories
• Process versus unfolding semantics for Place/Transition Petri nets
• A trace semantics for Petri Nets
• An algebraic view of interleaving and distributed operational semantics for CCS
• On the category of Petri net computations
• From Petri nets to linear logic
• Petri nets are dioids: a new algebraic foundation for non-deterministic net theory
• Open Petri nets
• scientific article; zbMATH DE number 5033883 (Why is no real title available?)
• Zero-safe nets: Comparing the collective and individual token approaches.
• On causal semantics of Petri nets (extended abstract)
• Timing Petri nets categorically
• An algebraic semantics for structured transition systems and its application to logic programs
• Petri nets are monoids
• Rewriting logic as a semantic framework for concurrency: a progress report
• Petri nets, Horn programs, linear logic and vector games
• The category of typed graph grammars and its adjunctions with categories of derivations

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