scientific article; zbMATH DE number 1250176

MaRDI QIDQ4230786zbMATH OpenFDO

Authors Antonius André Basten

Publication date 10 February 1999

zbMATH Keywords

concurrent systemsPetri netsprocess algebra

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) 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

• Petri net algebra
• A unified model for nets and process algebras

Cited in

(15)

• P/R nets and process concepts. I
• A unified model for nets and process algebras
• Theoretical aspects of communication-centred programming
• Property-preserving Petri net process algebra in software engineering
• Open Petri Nets: Non-deterministic Processes and Compositionality
• A Look Around the Corner: The Pi-Calculus
• Giving back some freedom to the system designer
• Modular construction and partial order semantics of Petri nets
• scientific article; zbMATH DE number 482861 (Why is no real title available?)
• Mapping Petri nets with inhibitor arcs onto basic LOTOS behavior expressions
• scientific article; zbMATH DE number 2013576 (Why is no real title available?)
• scientific article; zbMATH DE number 2087812 (Why is no real title available?)
• scientific article; zbMATH DE number 744056 (Why is no real title available?)
• Inheritance of behavior
• Inheritance of workflows: An approach to tackling problems related to change

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 Q4230786)