scientific article; zbMATH DE number 4012518

MaRDI QIDQ3762243zbMATH OpenFDO

Authors

Publication date 1987

zbMATH Keywords

ConcurrencyNetsPetri nets

Mathematics Subject Classification ID

Conference proceedings and collections of articles (00Bxx) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Cited in

(13)

• From Petri nets to automata with concurrency
• Observer synthesis for linear hybrid systems with constrained discrete dynamics
• Concurrency and hardware design. Advances in Petri nets
• Observer design for linear hybrid systems with unknown inputs and Petri-net discrete dynamics
• Concurrency, Synchronization, and Conflicts in Petri Nets
• scientific article; zbMATH DE number 1302049 (Why is no real title available?)
• scientific article; zbMATH DE number 1538868 (Why is no real title available?)
• scientific article; zbMATH DE number 5198970 (Why is no real title available?)
• On the border of causality: contact and confusion
• Universal axioms for bisimulations
• Lectures on concurrency and Petri nets. Advances in Petri nets.
• Nets, sequential components and concurrency relations
• Petri nets and algebraic specifications

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