scientific article; zbMATH DE number 785044

MaRDI QIDQ4842533zbMATH OpenFDO

Authors Wilfried Brauer, Robert Gold

Publication date 14 August 1995

zbMATH Keywords

Petri box calculusPetri nets

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

(42)

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

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)