The consistent use of names and polymorphism in the definition of Object Petri Nets

DOI10.1007/3-540-61363-3_21zbMath1418.68151OpenAlexW1502885203MaRDI QIDQ4633175

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

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)

Uses Software

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• DCE - the OSF distributed computing environment. Client/server model and beyond. International DCE workshop, Karlsruhe, Germany, October 7-8, 1993. Proceedings
• A calculus of mobile processes. I
• From Coloured Petri Nets to Object Petri Nets

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