Compositional generation of home states in free choice nets

DOI10.1007/BF01211475zbMath0782.68087MaRDI QIDQ1205188

Ludmila A. Cherkasova, Jörg Desel, Eike Best

Publication date: 1 April 1993

Published in: Formal Aspects of Computing (Search for Journal in Brave)

zbMATH Keywords

Petri netsreversibilityhome statescompsitionalityfree choice nets

Mathematics Subject Classification ID

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

Cites Work

• Partial order behaviour and structure of Petri nets
• Traps characterize home states in free choice systems
• Marked directed graphs
• Unnamed Item
• Unnamed Item

This page was built for publication: Compositional generation of home states in free choice nets