Compact Representations and Efficient Algorithms for Operating Guidelines

DOI10.3233/FI-2011-413zbMath1242.68182OpenAlexW2159257103MaRDI QIDQ2895776

Niels Lohmann, Karsten Schmidt

Publication date: 4 July 2012

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2011-413

zbMATH Keywords

Petri nettransition systemspace complexityoperating guidelines

Mathematics Subject Classification ID

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

Related Items (2)

A trace-based service semantics guaranteeing deadlock freedom ⋮ Trace- and failure-based semantics for responsiveness

Uses Software

• BPEL2oWFN
• Petrify

This page was built for publication: Compact Representations and Efficient Algorithms for Operating Guidelines