The Petri Net Baukasten

DOI10.1016/S1571-0661(04)80948-4zbMath1263.68106OpenAlexW2580047807MaRDI QIDQ4923513

No author found.

Publication date: 24 May 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s1571-0661(04)80948-4

zbMATH Keywords

application of Petri netsPetri net assistancePetri net BaukastenPetri net classification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Unnamed Item
• Unnamed Item

This page was built for publication: The Petri Net Baukasten