A taxonomy of persistent and nonviolent steps

DOI10.1007/978-3-642-38697-8_12MaRDI QIDQ5300873zbMATH OpenOpenAlexWikidataFDO

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

zbMATH Keywords

behaviournonviolencepersistencePetri netstep semanticsstructuretaxonomy

Mathematics Subject Classification ID

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

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

Cited in

(3)

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

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)