scientific article; zbMATH DE number 1250176

zbMATH0915.68126MaRDI QIDQ4230786FDOQ4230786

Authors Antonius André Basten

Publication date 10 February 1999

zbMATH Keywords

Petri netsprocess algebraconcurrent systems

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)

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

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)