Advances in Petri Nets 1987 | Zendy

Grzegorz Rozenberg | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Advances in Petri Nets 1987

Author(s) -

Grzegorz Rozenberg

Publication year - 1987

Publication title -

lecture notes in computer science

Language(s) - English

Resource type - Book series

SCImago Journal Rank - 0.249

H-Index - 400

eISSN - 1611-3349

pISSN - 0302-9743

DOI - 10.1007/3-540-18086-9

Subject(s) - petri net , computer science , process architecture , software engineering , programming language , artificial intelligence

Specification and properties of a cache coherence protocol model.- GAMERU: A language for the analysis and design of human communication pragmatics within organizational systems.- Recent results on the complexity of problems related to Petri nets.- Algebraic structure of flows of a regular coloured net.- On equivalent execution semantics of concurrent systems.- Mathematical methods for calculating invariants in Petri nets.- On Petri nets with deterministic and exponentially distributed firing times.- An accurate performance model of CSMA/CD bus LAN.- Petri net models for the ?-calculus.- Fair processes.- Operational Petri net semantics for CCSP.- Infinitary languages of Petri nets and logical sentences.- A strong part of concurrency.- Concurrency and continuity.- Parallel systems specifications with coloured Petri nets and algebraic specifications.- Bibliography of Petri nets.

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