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)

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

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)