For the most recent entries see the
Petri Nets Newsletter.
Keyword: time petri nets
-
Berthomieu, Bernard;
Peres, Florent;
Vernadat, François:
Bridging the Gap Between Timed Automata and Bounded Time Petri Nets.
2006.
-
Bucci, G.;
Piovosi, R.;
Sassoli, L.;
Vicario, E.:
Introducing probability within state class analysis of dense-time-dependent systems.
2005.
-
Bérard, B.;
Cassez, F.;
Haddad, S.;
Lime, Didier;
Roux, O.H.:
Comparison of Different Semantics for Time Petri Nets.
2005.
-
Gardey, Guillaume;
Lime, Didier;
Magnin, Morgan;
Roux, Olivier (H.):
Romeo: A Tool for Analyzing Time Petri Nets.
2005.
-
Berard, Beatrice;
Cassez, Franck;
Haddad, Serge;
Lime, Didier;
Roux, Olivier:
When Are Timed Automata Weakly Timed Bisimilar to Time Petri Nets?
2005.
-
Berard, Beatrice;
Cassez, Franck;
Haddad, Serge;
Lime, Didier;
Roux, Olivier:
Comparison of the Expressiveness of Timed Automata and Time Petri Nets.
2005.
-
Berard, B.;
Cassez, F.;
Haddad, S.;
Lime, Didier;
Roux, O.H.:
Comparison of Different Semantics for Time Petri Nets.
2005.
-
Bernardi, S.;
Campos, J.:
On Performance Bounds for Interval Time Petri Nets.
2004.
-
El Mekkawy, Tarek Y.;
El Maraghy, Hoda A.:
Real-time scheduling with deadlock avoidance in flexible manufacturing systems.
2003.
-
Berthomieu, Bernard;
Vernadat, François:
State Class Constructions for Branching Analysis of Time Petri Nets.
2003.
-
Xu, Dianxiang;
He, Xudong;
Deng, Yi:
Schedulability Analysis of Real-Time Systems Using Time Petri Nets.
2002.
-
Roux, O.H.;
Delfieu, D.;
Molinaro, P.:
Discrete Time Approach of Time Petri Nets for Real-Time Systems Analysis.
2001.
-
Gao, M.;
Huang, X.;
Wu, Z.:
Linear logic as a tool for presentation and temporal reasoning of time Petri nets.
2000.
-
Julia, S.;
Machado, C.M.:
Scheduling batch systems using a Petri net model and an intelligent backtrack mechanism.
2000.
-
Lee, J.;
Pan, J-I, Kuo, J-Y.;
Fanjiang, Y-Y.;
Yang, S.:
Towards the verification of scenarios with time Petri nets.
2000.
-
Lin, J.-C.;
Ho, I.:
A new perspective on formal testing method for real-time software.
2000.
-
Ohta, A.;
Tsui, K.:
Turing machine equivalence of time asymmetric choice nets.
2000.
-
Wang, J.;
Deng, Y.;
Xu, G.:
Reachability analysis of real-time systems using time Petri nets.
2000.
-
Wang, Jiacun;
Deng, Yi;
Zhou, MengChu:
Compositional time Petri nets and reduction rules.
2000.
-
Gu, Tianlong;
Bahri, Parisa A.;
Lee, Peter:
A Novel Approach for Scheduling of Batch Plants with Variable Batchsizes.
2000.
-
Boyer, M.;
Diaz, M.:
Non equivalence between time Petri nets and time stream Petri nets.
1999.
-
Cerone, A.;
Maggiolo-Schettini, A.:
Time-based expressivity of time Petri nets for system specification.
1999.
-
Garcia, F.J.;
Villarroel, J.L.:
Translating time Petri net structures into Ada-95 statements.
1999.
-
Gonzales, A.;
Crespo, A.:
Environment for the development and specification of real-time Ada programs.
1999.
-
Ho, I.;
Lin, J.-C.:
Generating timed test cases by decomposition of time Petri nets model for testing real-time systems.
1999.
-
Jong, W.-T.;
Shiau, Y.-S.;
Horng, Y.-J.;
Chen, H.-H.;
Chen, S.-M.:
Temporal knowledge representation and reasoning techniques using time Petri nets.
1999.
-
Koriem, S.M.:
R-nets for the performance evaluation of hard real-time systems.
1999.
-
Li, X.;
Lilius, J.:
Checking time Petri nets for linear duration properties.
1999.
-
Moon, H.-J.;
Moon, S.Y.;
Kwon, W.H.:
Parameter region for the proper operation of the IEEE 802.2 LLC type 3 protocol: a Petri net approach.
1999.
-
Ohta, A.;
Hisamura, T.:
On liveness of time POC nets with the static fair condition.
1999.
-
Owezarski, P.;
Diaz, M.:
New architecture for enforcing multimedia synchronization in video-conferencing applications.
1999.
-
Virbitskaite, I.B.;
Pokozy, E.:
A partial order method for the verification of time Petri nets.
1999.
-
Wang, J.;
He, X.;
Deng, Y.:
Introducing software architecture specification and analysis in SAM through an example.
1999.
-
Yoneda, T.;
Zhou, B.;
Schlingloff, B.-H.:
Verification of bounded delay asynchronous circuits with timed traces.
1999.
-
Wang, Jiacun;
Deng, Yi:
Incremental modeling and verification of flexible manufacturing systems.
1999.
-
Tarasyuk, Igor V.:
Equivalences for concurrent and distributed systems. A review of dissertation.
1999.
-
Deng, Y.;
Wang, J.:
Integrated architectural modeling and analysis for high-assurance command and control system design.
1998.
-
Kun, L.J.:
Work in process (WIP) analysis of the flexible manufacturing system using time Petri net unfolding.
1998.
-
Wang, J.;
Deng, Y.:
Component-level reduction rules for time Petri nets with application in C2 systems.
1998.
-
Benzina, A.;
Paludetto, M.;
Delatour, J.:
About the suitability of Petri nets for describing, validating and evaluating SA-RT specifications.
1997.
-
Bystrov, A.V.;
Virbitskaite, I.B.:
Implementing model checking and equivalence checking for time Petri nets by the RT-MEC tool.
1997.
-
Mascarenhas, R.;
Karumuri, D.;
Buy, U.;
Kenyon, R.:
Modeling and analysis of a virtual reality system with time Petri nets.
1997.
-
Toussaint, J.;
Simonot-Lion, F.;
Thomesse, J.-P.:
Time constraints verification method based on time Petri nets.
1997.
-
Virbitskaite, I.B.;
Pokozy, E.A.:
Parametric behavior analysis for time Petri nets.
1997.
-
Yamaguchi, H.;
Okano, K.;
Higashino, T.;
Taniguchi, K.:
Protocol synthesis form time Petri nets based service specifications.
1997.
-
Virbitskaite, Irina B.;
Tarasyuk, Igor V.:
Investigating equivalence notions for time Petri nets.
1997.
-
Heiner, M.;
Popova-Zeugmann, L.:
On Integration of Qualitative and Quantitative Analysis of Manufacturing Systems Using Petri Nets.
1997.
-
Kis, Tamás;
Neuendorf, Klaus-Peter;
Xirouchakis, Paul:
Scheduling with Chameleon Nets.
1997.
-
Aura, Tuomas;
Lilius, Johan:
Time Processes for Time Petri Nets.
1997.
-
Esser, Robert:
An Object Oriented Petri Net Approach to Embedded System Design.
1996.
-
Menasche, Miguel:
Introducao a Especificacao e Verificacao Formais de Protocolos de Comunicacao por Redes de Petri com Temporizacao.
1984.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography