scientific article; zbMATH DE number 785044

zbMATH Open0831.68068MaRDI QIDQ4842533FDOQ4842533

Authors: Wilfried Brauer, Robert Gold 

Publication date: 14 August 1995

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 3974312
• scientific article; zbMATH DE number 193318
• P/R nets and process concepts. I
• scientific article; zbMATH DE number 3922334
• scientific article; zbMATH DE number 3980501

zbMATH Keywords

Petri netsPetri box calculus

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)

Cited In (34)

• Modular construction and partial order semantics of Petri nets
• Title not available (Why is that?)
• Partial-order process algebra (and its relation to Petri nets)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Nadia Busi (1968–2007)
• Non-sequential Behaviour of Dynamic Nets
• Title not available (Why is that?)
• Merged processes: a new condensed representation of Petri net behaviour
• Petri boxes and finite precedence
• Compositional process semantics of Petri Boxes
• A Petri nets semantics for data flow networks
• Lectures on Concurrency and Petri Nets
• A compositional dataflow semantics for Petri nets
• Title not available (Why is that?)
• Concurrency and hardware design. Advances in Petri nets
• Concurrency, Synchronization, and Conflicts in Petri Nets
• Maximal confluent processes
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Nets, Terms and Formulas
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Petri nets and regular processes
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• P/R nets and process concepts. II
• Title not available (Why is that?)
• Title not available (Why is that?)
• Computable concurrent 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 Q4842533)