A taxonomy of persistent and nonviolent steps

DOI10.1007/978-3-642-38697-8_12zbMATH Open1381.68208OpenAlexW173209044WikidataQ104379744 ScholiaQ104379744MaRDI QIDQ5300873FDOQ5300873

Authors: Maciej Koutny, Łukasz Mikulski, Marta Pietkiewicz-Koutny 

Publication date: 28 June 2013

Published in: Application and Theory of Petri Nets and Concurrency (Search for Journal in Brave)

Full work available at URL: https://eprint.ncl.ac.uk/fulltext.aspx?url=190092/6B93F5FB-80A5-44F0-82CC-CD78D78D04A8.pdf&pub_id=190092

Recommendations

• An extension of the taxonomy of persistent and nonviolent steps
• Persistent and nonviolent steps and the design of GALS systems
• On persistent reachability in Petri nets
• A Note on Persistent Petri Nets
• Step persistence in the design of GALS systems

zbMATH Keywords

behaviourpersistencestructurePetri nettaxonomystep semanticsnonviolence

Mathematics Subject Classification ID

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

Cited In (3)

• Step persistence in the design of GALS systems
• Persistent and nonviolent steps and the design of GALS systems
• An extension of the taxonomy of persistent and nonviolent steps

This page was built for publication: A taxonomy of persistent and nonviolent steps

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5300873)