Charles A. Lakos

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
On the abstraction of coloured Petri Nets	2022-12-09	Paper
From coloured Petri nets to object Petri nets Lecture Notes in Computer Science	2022-08-16	Paper
The consistent use of names and polymorphism in the definition of object Petri nets Application and Theory of Petri Nets 1996	2019-05-02	Paper
Extending PNML scope: a framework to combine Petri nets types Transactions on Petri Nets and Other Models of Concurrency VI	2013-03-13	Paper
Modelling mobile IP with mobile Petri nets Transactions on Petri Nets and Other Models of Concurrency III	2009-12-09	Paper
Automated Technology for Verification and Analysis Lecture Notes in Computer Science	2006-10-10	Paper
Formal Techniques for Networked and Distributed Systems - FORTE 2005 Lecture Notes in Computer Science	2006-07-07	Paper
scientific article; zbMATH DE number 2088654 (Why is no real title available?)	2004-08-12	Paper
scientific article; zbMATH DE number 1956488 (Why is no real title available?)	2003-07-30	Paper
scientific article; zbMATH DE number 1696463 (Why is no real title available?)	2002-06-17	Paper
scientific article; zbMATH DE number 1755147 (Why is no real title available?)	2002-06-13	Paper
scientific article; zbMATH DE number 1686268 (Why is no real title available?)	2002-01-07	Paper
scientific article; zbMATH DE number 1686289 (Why is no real title available?)	2002-01-07	Paper
scientific article; zbMATH DE number 1569129 (Why is no real title available?)	2001-09-13	Paper
scientific article; zbMATH DE number 3601070 (Why is no real title available?)	1978-01-01	Paper

Research outcomes over time

This page was built for person: Charles A. Lakos