scientific article; zbMATH DE number 4191145

MaRDI QIDQ3210197zbMATH OpenFDO

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

(32)

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

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)