A Petri Net Semantics of a Simple Process Algebra for Mobility | Zendy

Raymond Devillers | Zendy; Hanna Klaudel | Zendy; Maciej Koutny | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

A Petri Net Semantics of a Simple Process Algebra for Mobility

Author(s) -

Raymond Devillers,

Hanna Klaudel,

Maciej Koutny

Publication year - 2006

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2006.05.008

Subject(s) - petri net , concurrency , process calculus , computer science , semantics (computer science) , simple (philosophy) , programming language , process architecture , theoretical computer science , net (polyhedron) , translation (biology) , causality (physics) , process (computing) , operational semantics , algebra over a field , formal semantics (linguistics) , mathematics , pure mathematics , philosophy , biochemistry , chemistry , geometry , physics , epistemology , quantum mechanics , messenger rna , gene

In this paper, we propose a structural translation of terms from a simple variant of the Klaim process algebra into behaviourally equivalent finite high level Petri nets. This yields a formal semantics for mobility allowing one to deal directly with concurrency and causality. © 2006 Elsevier B.V. All rights reserved.SCOPUS: ar.jinfo:eu-repo/semantics/publishe

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research