scientific article; zbMATH DE number 785044

MaRDI QIDQ4842533zbMATHFDO

Authors Wilfried Brauer, Robert Gold

Publication date 14 August 1995

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)

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

Cited in

(40)

• Petri boxes and finite precedence
• scientific article; zbMATH DE number 1302049 (Why is no real title available?)
• Describing Behavior of Processes with Many-to-Many Interactions
• scientific article; zbMATH DE number 1185853 (Why is no real title available?)
• scientific article; zbMATH DE number 744062 (Why is no real title available?)
• scientific article; zbMATH DE number 3967922 (Why is no real title available?)
• scientific article; zbMATH DE number 3980501 (Why is no real title available?)
• Partial-order process algebra (and its relation to Petri nets)
• scientific article; zbMATH DE number 3909720 (Why is no real title available?)
• Abstract processes and conflicts in place/transition systems
• P/R nets and process concepts. II
• Concurrency and hardware design. Advances in Petri nets
• Merged processes: a new condensed representation of Petri net behaviour
• Modular construction and partial order semantics of Petri nets
• Computable concurrent processes
• When to move to transfer nets. On the limits of Petri nets as models for process calculi
• Lectures on Concurrency and Petri Nets
• Compositional process semantics of Petri Boxes
• scientific article; zbMATH DE number 193318 (Why is no real title available?)
• scientific article; zbMATH DE number 3846886 (Why is no real title available?)
• scientific article; zbMATH DE number 3846889 (Why is no real title available?)
• Nadia Busi (1968–2007)
• scientific article; zbMATH DE number 1820097 (Why is no real title available?)
• A Petri nets semantics for data flow networks
• High-level Koutny net
• Maximal confluent processes
• scientific article; zbMATH DE number 4030999 (Why is no real title available?)
• Non-sequential Behaviour of Dynamic Nets
• A compositional dataflow semantics for Petri nets
• scientific article; zbMATH DE number 2087496 (Why is no real title available?)
• scientific article; zbMATH DE number 3870604 (Why is no real title available?)
• scientific article; zbMATH DE number 17794 (Why is no real title available?)
• Concurrency, Synchronization, and Conflicts in Petri Nets
• Petri nets and regular processes
• ``Truly concurrent and nondeterministic semantics of discrete-time Petri nets
• Nets, Terms and Formulas
• scientific article; zbMATH DE number 1088051 (Why is no real title available?)
• scientific article; zbMATH DE number 3958739 (Why is no real title available?)
• scientific article; zbMATH DE number 4131686 (Why is no real title available?)
• scientific article; zbMATH DE number 3890722 (Why is no real title available?)

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)