Vicinity Respecting Homomorphisms for Abstracting System Requirements

DOI10.1007/978-3-642-18222-8_1zbMath1312.68150OpenAlexW1554071804MaRDI QIDQ3066130

Jörg Desel, A. Merceron

Publication date: 8 January 2011

Published in: Transactions on Petri Nets and Other Models of Concurrency IV (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-18222-8_1

zbMATH Keywords

homomorphismsabstractionchannel/agency nets

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

A Canonical Contraction for Safe Petri Nets ⋮ Property-preserving transformations of elementary net systems based on morphisms

Uses Software

• Rapide

This page was built for publication: Vicinity Respecting Homomorphisms for Abstracting System Requirements