For the most recent entries see the
Petri Nets Newsletter.
Keyword: temporal logics
-
Hermanns, H.;
Katoen, J.-P.;
Meyer-Kayser, J.;
Siegle, M.:
Towards model checking stochastic process algebra.
2000.
-
Lehmann, H.;
Leuschel, M.:
Decidability results for the propositional fluent calculus.
2000.
-
Lin, J.-C.;
Ho, I.:
A new perspective on formal testing method for real-time software.
2000.
-
Heiner, M.;
Deussen, P.;
Spranger, J.:
A case study in design and verification of manufacturing system control software with hierarchical Petri nets.
1999.
-
Zaidi, A.K.:
On temporal logic programming using Petri nets.
1999.
-
Heiner, Monika:
Petri Net Based System Analysis without State Explosion.
1998.
-
Heiner, M.;
Menzel, T.:
Instruction List Verification Using a Petri Net Semantics.
1998.
-
Heiner, Monika:
On Exploiting the Analysis Power of Petri nets for the Validation of Discrete Event Systems.
1997.
-
Heiner, Monika:
Verification and Optimization of Control Programs by Petri Nets without State Explosion.
1997.
-
Heiner, Monika;
Deussen, P.:
A Case Study in Design and Validation of Reactive Systems by Means of Petri Nets.
1996.
-
Heiner, Monika;
Deussen, P.;
Spranger, J.:
A Case Study in Developing Control Software of Manufacturing Systems with Hierarchical Petri Nets.
1996.
-
Bucci, G.;
Campanai, M.;
Nesi, P.:
Tools for specifying real-time systems.
1995.
-
Heiner, Monika:
Petri Net Based Software Dependability Engineering.
1995.
-
Kung, D.C.:
An executable visual formalism for object-oriented conceptual modeling.
1995.
-
Heiner, Monika;
Deussen, P.:
Petri Net Based Qualitative Analysis - A Case Study.
1995.
-
Garavel, H.;
Sifakis, J.:
Compilation and Verification of LOTOS Specifications.
1990.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography