scientific article; zbMATH DE number 4143457

MaRDI QIDQ3474896zbMATH OpenFDO

Authors Andrea Maggiolo-Schettini, Józef Winkowski

Publication date 1990

zbMATH Keywords

configuration systemseager kernelseminetsynchronization structureTimed Petri nets

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A compositional partial order semantics for Petri net components
• A compositional dataflow semantics for Petri nets
• scientific article; zbMATH DE number 744062
• scientific article; zbMATH DE number 4080929
• On the composition of time Petri nets

Cited in

(17)

• Towards an algebra for timed behaviours
• Time-based expressivity of time Petri nets for system specification
• A compositional dataflow semantics for Petri nets
• ITL semantics of composite Petri nets
• Comparative trace semantics of time Petri nets
• Determinization of timed Petri nets behaviors
• Comparing Semantics Under Strong Timing of Petri Nets
• scientific article; zbMATH DE number 4108166 (Why is no real title available?)
• Consistent timed semantics for nested Petri nets with restricted urgency
• Full Axiomatisation of Timed Processes of Interval-Timed Petri Nets
• scientific article; zbMATH DE number 1836371 (Why is no real title available?)
• A fully abstract semantics for termination in Petri nets
• Applications and Theory of Petri Nets 2004
• scientific article; zbMATH DE number 4182842 (Why is no real title available?)
• On the composition of time Petri nets
• A compositional partial order semantics for Petri net components
• CPO semantics of timed interactive actor networks

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 Q3474896)