For the most recent entries see the
Petri Nets Newsletter.
Keyword: modal logic
-
Kawakami, Hiroshi;
Akinaga, Ryosuke;
Suto, Hidetsugu;
Katai, Osamu:
Translating Novelty of Business Model into Terms of Modal Logics.
2003.
-
Lin, Chuang;
Lu, Wei-Ming:
Knowledge Representation by Petri Nets.
1991.
-
Best, Eike;
Esparza, Javier:
Model Checking of Persistent Petri Nets.
1991.
-
Mieno, H.;
Kamijo, M.:
Artificial Intelligence Robots Using Petri Nets in Fuzzy Times.
1991.
-
Egilmez, K.;
Kim, S.H.:
Design and Control of Manufacturing Systems: an Integrated Approach Based on Modal Logic and Zonecharts.
1989.
-
Calin, S.:
A Type of Propositional Logic Derived from Petri-Net Models.
1988.
-
Bonacina, Maria Paola:
Petri Nets for Knowledge Representation.
1987.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography