The consistent use of names and polymorphism in the definition of object Petri nets

DOI10.1007/3-540-61363-3_21zbMATH Open1418.68151OpenAlexW1502885203MaRDI QIDQ4633175FDOQ4633175

Authors: Charles A. Lakos 

Publication date: 2 May 2019

Published in: Application and Theory of Petri Nets 1996 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-61363-3_21

Recommendations

• From coloured Petri nets to object Petri nets
• scientific article; zbMATH DE number 1686268
• Comparing concepts of object Petri net formalisms
• High-level Petri nets with object-orientation - A high-level Petri net model allowing multiple inheritance and multiple polymorphism
• scientific article; zbMATH DE number 2084347

zbMATH Keywords

object-orientationmultiple levels of abstractiontheory of high-level Petri nets

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• A calculus of mobile processes. I
• Title not available (Why is that?)
• Title not available (Why is that?)
• DCE - the OSF distributed computing environment. Client/server model and beyond. International DCE workshop, Karlsruhe, Germany, October 7-8, 1993. Proceedings
• Title not available (Why is that?)
• From coloured Petri nets to object Petri nets
• Title not available (Why is that?)

Cited In (3)

• On the abstraction of coloured Petri Nets
• Title not available (Why is that?)
• From coloured Petri nets to object Petri nets

Uses Software

• Design/CPN
• Eiffel
• SYROCO
• LOOPN++

This page was built for publication: The consistent use of names and polymorphism in the definition of object Petri nets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4633175)