Abstract
For various classes of Petri nets, we ask the question whether two transitions that are not connected to any common place in a saturated net system should form a diamond at some reachable marking, and thus be potentially concurrent.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Bednarczyk, M., Darondeau, P. (2002). Looking for Diamonds. In: Caillaud, B., Darondeau, P., Lavagno, L., Xie, X. (eds) Synthesis and Control of Discrete Event Systems. Springer, Boston, MA. https://doi.org/10.1007/978-1-4757-6656-1_14
Download citation
DOI: https://doi.org/10.1007/978-1-4757-6656-1_14
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4419-4942-4
Online ISBN: 978-1-4757-6656-1
eBook Packages: Springer Book Archive