A Taxonomy of Persistent and Nonviolent Steps

DOI10.1007/978-3-642-38697-8_12zbMath1381.68208OpenAlexW173209044WikidataQ104379744 ScholiaQ104379744MaRDI QIDQ5300873

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

zbMATH Keywords

persistencebehaviourPetri nettaxonomystructurestep semanticsnonviolence

Mathematics Subject Classification ID

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

Related Items (2)

Step Persistence in 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