scientific article; zbMATH DE number 2086960

zbMATH Open1057.68067MaRDI QIDQ4737569FDOQ4737569

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

Title of this publication is not available (Why is that?)

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 \(\pi\)-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

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)

Cited In (6)

• TCTL-preserving translations from timed-arc Petri nets to networks of timed automata
• Title not available (Why is that?)
• Exploring the properties of MSC documents by translating them into Petri nets
• From box algebra to interval temporal logic
• Statechartable Petri nets
• 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)