For the most recent entries see the
Petri Nets Newsletter.
Keyword: model-checking
-
Gardey, Guillaume;
Lime, Didier;
Magnin, Morgan;
Roux, Olivier (H.):
Romeo: A Tool for Analyzing Time Petri Nets.
2005.
-
Khomenko, Victor;
Kondratyev, Alex;
Koutny, Maciej;
Vogler, Walter:
Merged Processes - A New Condensed Representation of Petri Net Behaviour.
2005.
-
Khomenko, Victor;
Kondratyev, Alex;
Koutny, Maciej;
Vogler, Walter:
Merged Processes - A New Condensed Representation of Petri Net Behaviour.
2005.
-
de Lara, Juan;
Guerra, Esther;
Vangheluwe, Hans:
Meta-Modelling, Graph Transformation and Model Checking for the Analysis of Hybrid Systems.
2004.
-
Charatonik, W.;
Dal Zilio, S.;
Gordon, A.D.;
Mukhopadhyay, S.;
Talbot, J.-M.:
Model checking mobile ambients.
2003.
-
Cortés, Luis Alejandro;
Eles, Petru;
Peng, Zebo:
Modeling and formal verification of embedded systems based on a Petri net representation.
2003.
-
Mäkelä, Marko:
Model Checking Safety Properties in Modular High-Level Nets.
2003.
-
Berthomieu, Bernard;
Vernadat, François:
State Class Constructions for Branching Analysis of Time Petri Nets.
2003.
-
Khomenko, Victor;
Koutny, Maciej:
Branching Processes of High-Level Petri Nets.
2003.
-
Haiping Xu, Sol M. Shatz:
A Framework for Model-Based Design of Agent-Oriented Software.
2003.
-
Khomenko, Victor;
Koutny, Maciej;
Vogler, Walter:
Canonical Prefixes of Petri Net Unfoldings.
2002.
-
Gorgônio, Kyller Costa;
Perkusich, Angelo:
Adaptation of Coloured Petri Nets Models of Software Artifacts for Reuse.
2002.
-
Heljanko, Keijo;
Khomenko, Victor;
Koutny, Maciej:
Parallelisation of the Petri Net Unfolding Algorithm.
2002.
-
Khomenko, Victor;
Koutny, Maciej:
Towards an Efficient Algorithm for Unfolding Petri Nets.
2001.
-
Roux, O.H.;
Delfieu, D.;
Molinaro, P.:
Discrete Time Approach of Time Petri Nets for Real-Time Systems Analysis.
2001.
-
Latvala, Timo:
Model Checking LTL Properties of High-Level Petri Nets with Fairness Constraints.
2001.
-
Abdulla, Parosh Aziz;
Jonsson, Bengt:
Ensuring completeness of symbolic verification methods for infinite-state systems.
2001.
-
Mayr, Richard:
Decidability of model checking with the temporal logic EF.
2001.
-
Lia, Xuandong;
Lilius, Johan:
Efficient verification of a class of time Petri nets using linear programming.
2001.
-
Xuandong, Li:
Verifying time petri nets by linear programming.
2001.
-
Haverkort, B.R.;
Hermanns, H.;
Katoen, J.-P.:
On the use of model checking techniques for dependability evaluation.
2000.
-
Hermanns, H.;
Katoen, J.-P.;
Meyer-Kayser, J.;
Siegle, M.:
Towards model checking stochastic process algebra.
2000.
-
Khomenko, V.;
Koutny, M.:
LP deadlock checking using partial order dependencies.
2000.
-
Lehmann, H.;
Leuschel, M.:
Decidability results for the propositional fluent calculus.
2000.
-
Leucker, M.:
On model checking synchronized hardware circuits.
2000.
-
Leuschel, M.;
Lehmann, H.:
Solving coverability problems of Petri nets by partial deduction.
2000.
-
Frey, M.;
Podolsky, M.:
Specifying and analyzing distributed object-oriented systems.
1999.
-
Julliand, J.;
Masson, P.-A.;
Mountassir, H.:
Modular verification of dynamic properties for reactive systems.
1999.
-
Meyer, R.;
Thiagarajan, P.S.:
LTrL based model checking for a restricted class of Signal Transition Graphs.
1999.
-
Virbitskaite, I.B.;
Pokozy, E.:
A partial order method for the verification of time Petri nets.
1999.
-
Zhou, Y.;
Murata, T.:
Petri net model with fuzzy timing and fuzzy-metric temporal logic.
1999.
-
Couvreur, Jean-Michel;
Poitrenaud, Denis:
Detection of Illegal Behaviors Based on Unfoldings.
1999.
-
Heiner, Monika:
Petri Net Based System Analysis without State Explosion.
1998.
-
Fisler, Kathi;
Girault, Claude:
Modelling and Model Checking a Distributed Shared Memory Consistency Protocol.
1998.
-
Bystrov, A.V.;
Virbitskaite, I.B.:
Implementing model checking and equivalence checking for time Petri nets by the RT-MEC tool.
1997.
-
Cheng, Allan:
Petri nets, traces and local model checking.
1997.
-
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.
-
Grahlmann, Bernd:
The PEP Tool.
1997.
-
Varpaaniemi, Kimmo;
Heljanko, Keijo;
Lilius, Johan:
PROD 3.2 - An Advanced Tool for Efficient Reachability Analysis.
1997.
-
Grahlmann, Bernd:
The Reference Component of PEP.
1997.
-
Grahlmann, B.;
Best, E.:
PEP - More than a Petri Net Tool.
1996.
-
Grahlmann, B.:
Verifying Telecommunication Protocols with PEP.
1995.
-
Grahlmann, B.:
PEP: A Programming Environment based on Petri Nets.
1995.
-
Best, Eike;
Esparza, Javier:
Model Checking of Persistent Petri Nets.
1991.
-
Bradfield, J.C.:
Proving Temporal Properties of Petri Nets.
1990.
-
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