scientific article; zbMATH DE number 2086960

MaRDI QIDQ4737569zbMATH OpenFDO

Authors Katerina Korenblat, Orna Grumberg, Shmuel Katz

Publication date 11 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2335/23350339.htm

zbMATH Keywords

Petri netsmodel translationsstructure and semantics preservationtextual transition systems

Mathematics Subject Classification ID

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

Recommendations

• Structural translation from time Petri nets to timed automata
• Transformation of Petri nets into context-dependent fusion grammars
• Translation from multisingular hybrid Petri nets to multisingular hybrid automata
• A Petri Net Translation of π-Calculus Terms
• Transformation of variants of Petri nets into context-dependent fusion grammars
• A compositional Petri net translation of general -calculus terms
• On the semantics of place/transition Petri nets
• Articulations and Products of Transition Systems and their Applications to Petri Net Synthesis
• Transition systems, link graphs and Petri nets
• Lectures on Concurrency and Petri Nets

Cited in

(6)

• scientific article; zbMATH DE number 5201493 (Why is no real title available?)
• Statechartable Petri nets
• Exploring the properties of MSC documents by translating them into Petri nets
• From box algebra to interval temporal logic
• TCTL-preserving translations from timed-arc Petri nets to networks of timed automata
• Transformation of Petri nets into context-dependent fusion grammars

This page was built for publication:

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