scientific article; zbMATH DE number 2087496

MaRDI QIDQ4738296zbMATH OpenFDO

Authors Hartmut Ehrig, Kathrin Hoffmann, Paolo Baldan, R. Heckel, J. Padberg

Publication date 11 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2300/23000191.htm

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Behaviour and instantiation of high-level Petri net processes
• scientific article; zbMATH DE number 1956601
• scientific article; zbMATH DE number 1302044
• P/R nets and process concepts. I
• scientific article; zbMATH DE number 785044

Cited in

(6)

• Modelling evolution of communication platforms and scenarios based on transformations of high-level nets and processes
• Flattening of generalized algebraic high-level nets.
• Behaviour and instantiation of high-level Petri net processes
• Taking complete finite prefixes to high level, symbolically
• Abstract processes and conflicts in place/transition systems
• Taking complete finite prefixes to high level, symbolically

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