scientific article; zbMATH DE number 2087496

zbMATH Open1060.68078MaRDI QIDQ4738296FDOQ4738296

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

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

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

Cited In (6)

• Modelling evolution of communication platforms and scenarios based on transformations of high-level nets and processes
• Behaviour and instantiation of high-level Petri net processes
• Flattening of generalized algebraic high-level nets.
• 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)