The Petri Net Baukasten of the DFG Forschergruppe PETRI NET TECHNOLOGY

DOI10.1007/978-3-540-40022-6_1MaRDI QIDQ5392153zbMATH OpenOpenAlexFDO

Authors

Publication date 8 April 2011

Published in Petri Net Technology for Communication-Based Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-40022-6_1

zbMATH Keywords

Petri net technologyPetri nets

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1973118
• scientific article; zbMATH DE number 47135
• scientific article; zbMATH DE number 3845062
• scientific article; zbMATH DE number 4022649
• Petri-Netze in der Automatisierungstechnik
• The Petri net Baukasten: 2nd installment
• scientific article; zbMATH DE number 3885321
• Petri-Netze in der Automatisierungstechnik
• Petri net transformations in the Petri Net Baukasten
• scientific article; zbMATH DE number 3922334

Cited in

(9)

• scientific article; zbMATH DE number 1104394 (Why is no real title available?)
• scientific article; zbMATH DE number 1973118 (Why is no real title available?)
• scientific article; zbMATH DE number 1973119 (Why is no real title available?)
• The Petri net Baukasten: 2nd installment
• Application development assistance with the Petri Net Baukasten
• Petri net transformations in the Petri Net Baukasten
• The Petri Net Kernel
• Lectures on Concurrency and Petri Nets
• The Petri net kernel. An infrastructure for building Petri net tools

Describes a project that uses

Uses Software

• PNML

This page was built for publication: The Petri Net Baukasten of the DFG Forschergruppe PETRI NET TECHNOLOGY

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5392153)