scientific article; zbMATH DE number 744062

MaRDI QIDQ4763577zbMATH OpenFDO

Authors Józef Winkowski

Publication date 17 April 1995

zbMATH Keywords

concurrent systemsPetri netstimed Petri nets

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 994066
• Processes of timed Petri nets
• Timed processes of timed Petri nets
• scientific article; zbMATH DE number 785044
• Theoretical Aspects of Computing - ICTAC 2004

Cited in

(14)

• Processes of timed Petri nets
• scientific article; zbMATH DE number 1696462 (Why is no real title available?)
• Modeling quantitative aspects of concurrent systems using weighted Petri net transducers
• scientific article; zbMATH DE number 994066 (Why is no real title available?)
• scientific article; zbMATH DE number 997812 (Why is no real title available?)
• scientific article; zbMATH DE number 4143457 (Why is no real title available?)
• scientific article; zbMATH DE number 4030999 (Why is no real title available?)
• scientific article; zbMATH DE number 1163642 (Why is no real title available?)
• Full Axiomatisation of Timed Processes of Interval-Timed Petri Nets
• Timed processes of timed Petri nets
• A translation of \(\text{TPAL}_{p}\) into a class of timed-probabilistic Petri nets
• Theoretical Aspects of Computing - ICTAC 2004
• Algebraic characterization of petri net pomset semantics
• Time processes for time Petri nets

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