Charles A. Lakos

From MaRDI portal
Person:2761700

Available identifiers

zbMath Open lakos.charles-aMaRDI QIDQ2761700

List of research outcomes





PublicationDate of PublicationType
On the abstraction of coloured Petri Nets2022-12-09Paper
From Coloured Petri Nets to Object Petri Nets2022-08-16Paper
The consistent use of names and polymorphism in the definition of Object Petri Nets2019-05-02Paper
Extending pnml Scope: A Framework to Combine Petri Nets Types2013-03-13Paper
Modelling Mobile IP with Mobile Petri Nets2009-12-09Paper
Automated Technology for Verification and Analysis2006-10-10Paper
Formal Techniques for Networked and Distributed Systems - FORTE 20052006-07-07Paper
https://portal.mardi4nfdi.de/entity/Q30452512004-08-12Paper
https://portal.mardi4nfdi.de/entity/Q44178322003-07-30Paper
https://portal.mardi4nfdi.de/entity/Q27665702002-06-17Paper
https://portal.mardi4nfdi.de/entity/Q45351822002-06-13Paper
https://portal.mardi4nfdi.de/entity/Q27617012002-01-07Paper
https://portal.mardi4nfdi.de/entity/Q27617442002-01-07Paper
https://portal.mardi4nfdi.de/entity/Q47626572001-09-13Paper
https://portal.mardi4nfdi.de/entity/Q41675291978-01-01Paper

Research outcomes over time

This page was built for person: Charles A. Lakos

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2761700&oldid=7649899"
Powered by MediaWiki