For the most recent entries see the
Petri Nets Newsletter.
Keyword: temporal logic
-
van der Aalst, W. M. P.;
Pesic, M.:
DecSerFlow: Towards a Truly Declarative Service Flow Language.
2006.
-
Alexander, Adrianna:
Composition of Temporal Logic Specifications.
2004.
-
Kindler, E.;
Vesper, T.:
ESTL: Some Proof Techniques.
2003.
-
Deng, Yi;
Wang, Jiacun;
Tsai, Jeffrey J.P.;
Beznosov, Konstantin:
An Approach for Modeling and Analysis of Security System Architectures.
2003.
-
He, Xudong;
Deng, Yi:
A Framework for Developing and Analyzing Software Architecture Specifications in SAM.
2002.
-
Yu, Huiqun;
He, Xudong;
Deng, Yi;
Mo, Lian:
Formal Analysis of Real-Time Systems with SAM.
2002.
-
Gorgônio, Kyller Costa;
Perkusich, Angelo:
Adaptation of Coloured Petri Nets Models of Software Artifacts for Reuse.
2002.
-
Mayr, Richard:
Decidability of model checking with the temporal logic EF.
2001.
-
He, Xudong;
Deng, Yi:
Specifying Software Architectural Connectors in SAM.
2000.
-
Frey, M.;
Podolsky, M.:
Specifying and analyzing distributed object-oriented systems.
1999.
-
Yen, H.C.:
Integer linear programming and the analysis of some Petri net problems.
1999.
-
Pinzon, L. E.;
Hanisch, H. -M.;
Jafari, M. A.;
Boucher, T.:
A Comparative Study of Synthesis Methods for Discrete Event Controllers.
1999.
-
Padberg, J.;
Gajewsky, M.;
Ermel, C.:
Rule-based refinement of high-level nets preserving safety properties.
1998.
-
Yang, S.J.H.;
Chu, W.;
Lin, S.;
Lee, J.:
Specifying and verifying temporal behavior of high assurance systems using reachability tree logic.
1998.
-
Padberg, J.;
Gajewsky, M.:
Using High-Level Replacement Systems to preserve Safety Properties in Place/Transition Net Transformations.
1998.
-
Padberg, Julia;
Gajewsky, Maike;
Hoffmann, Kathrin:
Incremental Development of Safety Properties in Petri Net Transformations.
1998.
-
Kindler, Ekkart;
Vesper, Tobias:
ESTL: A Temporal Logic for Events and States.
1998.
-
Kindler, Ekkart;
Vesper, Tobias:
A Temporal Logic for Events and States in Petri Nets.
1997.
-
Grahlmann, Bernd:
The PEP Tool.
1997.
-
Grahlmann, Bernd:
The Reference Component of PEP.
1997.
-
Grahlmann, B.;
Best, E.:
PEP - More than a Petri Net Tool.
1996.
-
Felder, M.;
Mandrioli, D.;
Morzenti, A.:
Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net Models.
1994.
-
Paech, Barbara:
Concurrency as a Modality.
1991.
-
Best, Eike;
Esparza, Javier:
Model Checking of Persistent Petri Nets.
1991.
-
Howell, Rodney R.;
Rosier, Louis E.;
Yen, Hsu-Chun:
A Taxonomy of Fairness and Temporal Logic Problems for Petri Nets.
1991.
-
Bradfield, J.C.:
Proving Temporal Properties of Petri Nets.
1990.
-
Damm, Werner;
Döhmen, Gert;
Gerstner, Volker;
Josko, Bernhard:
Modular Verification of Petri Nets: The Temporal Logic Approach.
1990.
-
Tuominen, Heikki:
Elementary Net Systems and Dynamic Logic.
1990.
-
Uchihira, N.;
Honiden, S.:
Verification and Synthesis of Concurrent Programs Using Petri Nets and Temporal Logic.
1990.
-
Uchihira, Naoshi;
Kawata, Hideji;
Matsumoto, Kazunori;
Ito, Mikako;
Honiden, Shinichi:
Synthesis of Concurrent Programs: Automated Reasoning Complements Software Reuse.
1990.
-
Yamalidou, E.C.;
Patsidou, E.P.;
Kantor, J.C.:
Modeling Discrete-Event Dynamical Systems for Chemical Process Control --- a Survey of Several New Techniques.
1990.
-
Uchihira, N.;
Honiden, S.:
Verification and Synthesis of Concurrent Programs Using Petri Nets and Temporal Logic.
1990.
-
Penczek, W.:
A Temporal Logic for the Local Specification of Concurrent Systems.
1989.
-
Antilla, M.;
Eriksson, H.;
Ikonen, J.;
Kujansuu, R.;
Ojala, L.;
Tuominen, H.:
Tools and Studies of Formal Techniques --- Petri Nets and Temporal Logic.
1983.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography