Reduction rules for time Petri nets

DOI10.1007/s002360050066zbMath0858.68060OpenAlexW4255837018MaRDI QIDQ1924994

Ugo Buy, Robert H. Sloan

Publication date: 27 October 1996

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s002360050066

zbMATH Keywords

Petri netnet reductionreal-time program analysis

Mathematics Subject Classification ID

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

Related Items (5)

Reduction rules for reset/inhibitor nets ⋮ Reduction of Workflow Nets for Generalised Soundness Verification ⋮ Timed negotiations ⋮ Dynamically consistent reduction of logical regulatory graphs ⋮ Soundness-preserving reduction rules for reset workflow nets

This page was built for publication: Reduction rules for time Petri nets