scientific article; zbMATH DE number 1799524

MaRDI QIDQ3146282zbMATH OpenFDO

Authors Jan Richling, Louchka Popova-Zeugmann, Matthias Werner

Publication date 21 October 2002

zbMATH Keywords

composabilityPetrinets

Mathematics Subject Classification ID

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

Recommendations

• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• On the composition of time Petri nets
• A compositional partial order semantics for Petri net components
• Compositional analysis of Petri nets
• General composition for high level Petri nets and its properties

Cited in

(2)

• scientific article; zbMATH DE number 1216237 (Why is no real title available?)
• Property-preserving Petri net process algebra in software engineering

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