scientific article; zbMATH DE number 2088660

zbMATH Open1047.68606MaRDI QIDQ3045257FDOQ3045257

Authors: G. Di Marzo Serugendo, Dino Mandrioli, Didier Buchs, Nicolas Guelfi 

Publication date: 12 August 2004

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

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

Recommendations

• On the composition of time Petri nets
• scientific article; zbMATH DE number 1070535
• scientific article; zbMATH DE number 1439078
• scientific article; zbMATH DE number 1228291
• A brief survey and synthesis of the roles of time in Petri nets.

zbMATH Keywords

real-timePetri netsinhibitor arcsCO-OPN

Mathematics Subject Classification ID

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

Cited In (5)

• Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization
• Synchro-net system: A Petri net model for higher-layer protocols
• Interpreted synchronous extension of time Petri nets. Definition, semantics and formal analysis
• Title not available (Why is that?)
• Phase semantics and Petri net interpretation for resource-sensitive strong negation

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