The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase Time Petri nets (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1983-1991 (15) 1993-1998 (22) 1999-2000 (19) 2001-2002 (16) 2003-2004 (25) 2005 (24) 2006 (20) 2007 (17) 2008 (18) 2009 (19) 2010-2011 (18) 2012-2013 (34) 2014-2015 (28) 2016-2017 (18) 2018-2019 (12)
Publication types (Num. hits)
article(94) book(1) incollection(3) inproceedings(205) phdthesis(2)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 187 occurrences of 101 keywords

Results
Found 305 publication records. Showing 305 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
82Simona Bernardi, Javier Campos On Performance Bounds for Interval Time Petri Nets. Search on Bibsonomy QEST The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
80Bernard Berthomieu, Florent Peres, François Vernadat Bridging the Gap Between Timed Automata and Bounded Time Petri Nets. Search on Bibsonomy FORMATS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF weak timed bisimilarity, real-time systems modeling and verification, Timed Automata, priorities, Time Petri nets
72Giacomo Bucci, Luigi Sassoli, Enrico Vicario Correctness Verification and Performance Analysis of Real-Time Systems Using Stochastic Preemptive Time Petri Nets. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF performance and dependability evaluation, maximal step semantics, well definedness, stochastic preemptive Time Petri nets, preemptive scheduling, discrete time, confusion, Real-time reactive systems, correctness verification
71Bernard Berthomieu, François Vernadat State Class Constructions for Branching Analysis of Time Petri Nets. Search on Bibsonomy TACAS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF state classes, branching time temporal properties, real-time systems modeling and verification, model-checking, bisimulation, Time Petri nets
70Maciej Koutny A Compositional Model of Time Petri Nets. Search on Bibsonomy ICATPN The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Net-based algebraic calculi, relationships between net theory and other approaches, box algebra, SOS semantics, process algebras, time Petri nets
69Adel Benzina, Mario Paludetto, Jérôme Delatour About the Suitability of Petri Nets for Describing, Validating and Evaluating SA-RT Specifications. Search on Bibsonomy APSEC The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
65Guillaume Gardey, Didier Lime, Morgan Magnin, Olivier H. Roux Romeo: A Tool for Analyzing Time Petri Nets. Search on Bibsonomy CAV The full citation details ... 2005 DBLP  DOI  BibTeX  RDF scheduling, model-checking, Time Petri nets, state-space, polyhedron, stopwatch, DBM
64Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux Comparison of Different Semantics for Time Petri Nets. Search on Bibsonomy ATVA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Timed Bisimilarity, Expressiveness, Time Petri Nets
61Apostolos Niaouris An Algebra of Petri Nets with Arc-Based Time Restrictions. Search on Bibsonomy ICTAC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Net-based algebraic calculi, arc based time Petri nets, box algebra, SOS semantics, process algebras
60Bernard Berthomieu, Florent Peres, François Vernadat Abstract State Spaces for Time Petri Nets Analysis. Search on Bibsonomy ISORC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Abstract State Spaces, State Classes, Time Petri Nets
60Patricia Bouyer, Pierre-Alain Reynier, Serge Haddad Extended Timed Automata and Time Petri Nets. Search on Bibsonomy ACSD The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Conciseness, Timed Automata, Reachability Analysis, Time Petri Nets
60Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux When Are Timed Automata Weakly Timed Bisimilar to Time Petri Nets? Search on Bibsonomy FSTTCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Weak Timed Bisimilarity, Timed Automata, Time Petri Nets
60Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux Comparison of the Expressiveness of Timed Automata and Time Petri Nets. Search on Bibsonomy FORMATS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Timed Language, Timed Bisimilarity, Timed Automata, Expressiveness, Time Petri Nets
60Ugo Buy, Mihai Lehene, Houshang Darabi Latency-Based Supervisors for Enforcing Deadlines in Time Petri Nets. Search on Bibsonomy SEW The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
59Louis-Marie Traonouez, Didier Lime, Olivier H. Roux Parametric Model-Checking of Time Petri Nets with Stopwatches Using the State-Class Graph. Search on Bibsonomy FORMATS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF state-class graph, model-checking, Time Petri nets, parameters, stopwatches
59Bernard Berthomieu, Didier Lime, Olivier H. Roux, François Vernadat Reachability Problems and Abstract State Spaces for Time Petri Nets with Stopwatches. Search on Bibsonomy Discrete Event Dynamic Systems The full citation details ... 2007 DBLP  DOI  BibTeX  RDF State classes, Real-time systems modeling and verification, Approximation, Decidability, Time Petri nets, Reachability, Stopwatches
58Tuomas Aura, Johan Lilius Time Processes for Time Petri-Nets. Search on Bibsonomy ICATPN The full citation details ... 1997 DBLP  DOI  BibTeX  RDF net theory, processes, timing analysis, causality, time Petri nets, partial order semantics
57Bernard Berthomieu, François Vernadat Time Petri Nets Analysis with TINA. Search on Bibsonomy QEST The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
57Guillaume Gardey, Olivier H. Roux, Olivier F. Roux Using Zone Graph Method for Computing the State Space of a Time Petri Net. Search on Bibsonomy FORMATS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Verification, Reachability Analysis, Time Petri Nets, State Space, Zone
57Giacomo Bucci, Enrico Vicario Compositional Validation of Time-Critical Systems Using Communicating Time Petri Nets. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF Time-critical systems, model partitioning, incremental state space enumeration, state space projection, compositional validation, time Petri Nets, finite state models
56Franco Cicirelli, Angelo Furfaro, Libero Nigro Distributed simulation of modular time Petri nets: An approach and a case study exploiting temporal uncertainty. Search on Bibsonomy Real-Time Systems The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Temporal uncertainty, Time interval based event delivery, Modelling complex real-time systems, Modularity constructs, Petri Net Markup Language, Distributed simulation, Time Petri nets, Time warp, Temporal analysis, Logical clocks
55Morgan Magnin, Didier Lime, Olivier H. Roux Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics (Theory Paper). Search on Bibsonomy Petri Nets The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Verification using nets, symbolic state space, Time Petri nets, discrete-time, dense-time, stopwatches
54Matthias Werner 0001, Gero Mühl A State Equation for Petri Nets with Delaying Places. Search on Bibsonomy ECBS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
53Ian Ho, Jin-Cherng Lin Generating Test Cases for Real-Time Software by Time Petri Nets Model. Search on Bibsonomy Asian Test Symposium The full citation details ... 1999 DBLP  DOI  BibTeX  RDF basic segment, graph matrix, graph segment, independent segment group, Petri nets decomposition, test cases generation
53Bernard Berthomieu, Florent Peres, François Vernadat Model Checking Bounded Prioritized Time Petri Nets. Search on Bibsonomy ATVA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
52Eric Y. T. Juan, Jeffrey J. P. Tsai, Tadao Murata, Yi Zhou Reduction Methods for Real-Time Systems Using Delay Time Petri Nets. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF net reduction, schedule, Real-time systems, Petri nets, deadlock, reachability, state explosion
51Ugo A. Buy, Robert H. Sloan Analysis of Real-Time Programs with Simple Time Petri Nets. Search on Bibsonomy ISSTA The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
50Didier Lime, Olivier H. Roux, Charlotte Seidner, Louis-Marie Traonouez Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches. Search on Bibsonomy TACAS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF model-checking, tool, Time Petri nets, parameters, TCTL, stopwatches
50Laura Carnevali, Leonardo Grassi, Enrico Vicario A Tailored V-Model Exploiting the Theory of Preemptive Time Petri Nets. Search on Bibsonomy Ada-Europe The full citation details ... 2008 DBLP  DOI  BibTeX  RDF concurrent real-time systems, V-Model, preemptive Time Petri Nets, formal methods, state space analysis
50Franco Cicirelli, Angelo Furfaro, Libero Nigro Conflict management in PDEVS: an experience in modelling and simulation of time petri nets. Search on Bibsonomy SCSC The full citation details ... 2007 DBLP  BibTeX  RDF PDEVS, java, time petri nets, modelling and simulation, conflict management
50Wojciech Penczek, Agata Pólrola Abstractions and Partial Order Reductions for Checking Branching Properties of Time Petri Nets. Search on Bibsonomy ICATPN The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
49Olivier H. Roux, Didier Lime Time Petri Nets with Inhibitor Hyperarcs. Formal Semantics and State Space Computation. Search on Bibsonomy ICATPN The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
48Patrice Bonhomme, Gérard Berthelot, Pascal Aygalinc, Soizick Calvez Verification technique for time Petri nets. Search on Bibsonomy SMC (5) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
48Thomas Chatain, Claude Jard Time Supervision of Concurrent Systems Using Symbolic Unfoldings of Time Petri Nets. Search on Bibsonomy FORMATS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
47Giacomo Bucci, Andrea Fedeli, Luigi Sassoli, Enrico Vicario Timed State Space Analysis of Real-Time Preemptive Systems. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF nondeterministic time parameters, timeliness predictability, Preemptive Time Petri Nets, reactive systems, multiprocessor schedulability, Hard real-time systems, interprocess communication, preemptive scheduling, state space analysis
43Thomas Chatain, Claude Jard Complete Finite Prefixes of Symbolic Unfoldings of Safe Time Petri Nets. Search on Bibsonomy ICATPN The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
42Pao-Ann Hsiung, Cheng-Yi Lin, Trong-Yen Lee Quasi-Dynamic Scheduling for the Synthesis of Real-Time Embedded Software with Local and Global Deadlines. Search on Bibsonomy RTCSA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Periodic Time Petri Nets, quasi-dynamic scheduling, local and global deadlines, software synthesis, Real-time embedded software
42Bernard Berthomieu, Michel Diaz Modeling and Verification of Time Dependent Systems Using Time Petri Nets. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF time dependent systems, explicit values, time-dependent systems, verification, formal specification, parallel programming, Petri nets, protocols, formal verification, specification, program verification, time Petri nets, concurrent systems, communication systems, alternating bit protocol
42Jean-Pierre Courtiat, Michel Diaz Time in State Based Formal Description Techniques for Distributed Systems. Search on Bibsonomy REX Workshop The full citation details ... 1991 DBLP  DOI  BibTeX  RDF FDTs Formal Description Techniques, Manipulating Explicit Time values, Integrating Time Petri nets and Estelle, Distributed Systems, Verification, Specification, Time Petri nets, Estelle
41Giacomo Bucci, Andrea Fedeli, Luigi Sassoli, Enrico Vicario Modeling Flexible Real Time Systems with Preemptive Time Petri Nets. Search on Bibsonomy ECRTS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
40Pierre-Alain Reynier, Arnaud Sangnier Weak Time Petri Nets Strike Back!. Search on Bibsonomy CONCUR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
40Xuandong Li, Lei Bu, Jun Hu, Jianhua Zhao, Tao Zhang, Guoliang Zheng Scenario-Based Timing Consistency Checking for Time Petri Nets. Search on Bibsonomy FORTE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
40Rachid Hadjidj, Hanifa Boucheneb Efficient Reachability Analysis for Time Petri Nets. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2011 DBLP  DOI  BibTeX  RDF time Petri nets (TPN), state class spaces, reachability properties, model checking, Formal methods
40Parisa Heidari, Hanifa Boucheneb Efficient Method for Checking the Existence of a Safety/ Reachability Controller for Time Petri Nets. Search on Bibsonomy ACSD The full citation details ... 2010 DBLP  DOI  BibTeX  RDF on-the-fly algorithm, reachability properties, time Petri nets, safety properties, controller synthesis
40Wei Song 0003, Xiaoxing Ma, Chunyang Ye, Wanchun Dou, Jian Lu 0001 Timed Modeling and Verification of BPEL Processes Using Time Petri Nets. Search on Bibsonomy QSIC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Modeling and Verification, BPEL Processes, Time Petri Nets, Timed Properties
40Rachid Hadjidj, Hanifa Boucheneb Improving state class constructions for CTL* model checking of time Petri nets. Search on Bibsonomy STTT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF State class spaces, CTL* properties, Model checking, Formal methods, Time Petri nets
40Guoqiang Cai, Shimin Zhao, Limin Jia, Yangdong Ye, Xi Li Approach of Train Group Operation Conflict Prevention Reasoning Based on Fuzzy Time Petri Nets. Search on Bibsonomy NCM (2) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Safety Time Petri Nets, train group, RITS, temporal knowledge
40Didier Lime, Olivier H. Roux Model Checking of Time Petri Nets Using the State Class Timed Automaton. Search on Bibsonomy Discrete Event Dynamic Systems The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Dense-time systems, Model-checking, Timed automata, Time petri nets
39Elina Pacini Naumovich, Simona Bernardi, Marco Gribaudo ITPN-PerfBound: A Performance Bound Tool for Interval Time Petri Nets. Search on Bibsonomy TACAS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
39Tarek Sadani, Pierre de Saqui-Sannes, Jean-Pierre Courtiat From RT-LOTOS to Time Petri Nets New Foundations for a Verification Platform. Search on Bibsonomy SEFM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
39Tarek Sadani, Marc Boyer, Pierre de Saqui-Sannes, Jean-Pierre Courtiat Mapping RT-LOTOS Specifications into Time Petri Nets. Search on Bibsonomy ICFEM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
39Wojciech Penczek, Agata Pólrola Specification and Model Checking of Temporal Properties in Time Petri Nets and Timed Automata. Search on Bibsonomy ICATPN The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
39Didier Lime, Olivier H. Roux A Translation Based Method for the Timed Analysis of Scheduling Extended Time Petri Nets. Search on Bibsonomy RTSS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
39Burkhard Bieber, Hans Fleischhack Model Checking of Time Petri Nets Based on Partial Order Semantics. Search on Bibsonomy CONCUR The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
38Jonathan Lee, Jong-Yih Kuo, Yong-Yi Fanjiang, Stephen J. H. Yang, Jiann-I Pan Towards the Verification of Scenarios with Time Petri-Nets. Search on Bibsonomy COMPSAC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
37Marc Boyer, Michel Diaz Non equivalence between time Petri nets and time stream Petri nets. Search on Bibsonomy PNPM The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
36Wei Song 0003, Wan-Chun Dou, Jinjun Chen, Shaokun Fan Safety Analysis and Performance Evaluation of Time WF-nets. Search on Bibsonomy APWeb/WAIM Workshops The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
35Giovanna Di Marzo Serugendo, Dino Mandrioli, Didier Buchs, Nicolas Guelfi Real-Time Synchronised Petri Nets. Search on Bibsonomy ICATPN The full citation details ... 2002 DBLP  DOI  BibTeX  RDF CO-OPN, inhibitor arcs, real-time, Petri nets
35L. J. Steggles Rewriting Logic and Elan: Prototyping Tools for Petri Nets with Time. Search on Bibsonomy ICATPN The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
35Irina Virbitskaite, E. Pokozy A Partial Order Method for the Verification of Time Petri Nets. Search on Bibsonomy FCT The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
34Davide D'Aprile, Susanna Donatelli, Arnaud Sangnier, Jeremy Sproston From Time Petri Nets to Timed Automata: An Untimed Approach. Search on Bibsonomy TACAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
32Pao-Ann Hsiung, Cheng-Yi Lin Synthesis of real-time embedded software with local and global deadlines. Search on Bibsonomy CODES+ISSS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF quasi-dynamic scheduling, real-time petri nets, code generation, software synthesis, real-time embedded software
31Jirí Srba Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets. Search on Bibsonomy FORMATS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
31Hanifa Boucheneb, Hind Rakkay A more efficient time Petri net state space abstraction preserving linear properties. Search on Bibsonomy ACSD The full citation details ... 2007 DBLP  DOI  BibTeX  RDF state class graph, partial order techniques, independent transitions, relevant execution path, Time Petri nets, state explosion problem
31Ugo Buy, Houshang Darabi, Mihai Lehene, Vikram Venepally Supervisory Control of Time Petri Nets Using Net Unfolding. Search on Bibsonomy COMPSAC (2) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
31Charles André Synchronized elementary net systems. Search on Bibsonomy European Workshop on Applications and Theory in Petri Nets The full citation details ... 1988 DBLP  DOI  BibTeX  RDF Labelled POset, Synchronization, Process, Time Petri Nets, Elementary net systems
31Patrice Bonhomme Constraints graph based approach for the control of time critical systems. Search on Bibsonomy ETFA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
30Franco Cicirelli, Angelo Furfaro, Libero Nigro Exploiting Temporal Uncertainty in the Distributed Simulation of Time Petri Nets. Search on Bibsonomy Annual Simulation Symposium The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
30Anna Dedova, Irina Virbitskaite Towards Parametric Verification of Prioritized Time Petri Nets. Search on Bibsonomy PaCT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
29Florent Peres Réseaux de Petri temporels à inhibitions/permissions - Application à la modélisation et vérification de systèmes de tâches temps réel. (Forbid/Allow time Petri nets - Application to the modeling and checking of real time tasks systems). Search on Bibsonomy 2010   RDF
29Li Pan, Weidong Zhao, Zhicheng Wang, Xinmin Zhou A State Class Approach to Time Petri Nets with Weak Semantics. Search on Bibsonomy CSSE (2) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
29Marc Boyer, Olivier H. Roux Comparison of the Expressiveness of Arc, Place and Transition Time Petri Nets. Search on Bibsonomy ICATPN The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
29Francesca Saglietti Integration of Logical and Physical Properties of Embedded Systems by Use of Time Petri Nets. Search on Bibsonomy SAFECOMP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
29Ronan Champagnat, Robert Valette, Jean-Claude Hochon, Hervé Pingaud Modeling, Simulation and Analysis of Batch Production Systems. Search on Bibsonomy Discrete Event Dynamic Systems The full citation details ... 2001 DBLP  DOI  BibTeX  RDF simulation, Petri nets, hybrid modeling
27Louis-Marie Traonouez Vérification et dépliages de réseaux de Petri temporels paramétrés. (Model-checking and unfoldings of parametric time Petri nets). Search on Bibsonomy 2009   RDF
26Yuyue Du, Changjun Jiang Towards a Workflow Model of Real-Time Cooperative Systems. Search on Bibsonomy ICFEM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
25Yan Luo, Jeffrey J. P. Tsai A Graphical Simulation System for Modeling and Analysis of Sensor Networks. Search on Bibsonomy ISM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
25Hans Fleischhack, Christian Stehno Computing a Finite Prefix of a Time Petri Net. Search on Bibsonomy ICATPN The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
23Guanjun Liu, Changjun Jiang, Mengchu Zhou Time-Soundness of Time Petri Nets Modelling Time-Critical Systems. Search on Bibsonomy TCPS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
23Agata Janowska, Wojciech Penczek, Agata Pólrola, Andrzej Zbrzezny Using Integer Time Steps for Checking Branching Time Properties of Time Petri Nets. Search on Bibsonomy Trans. Petri Nets and Other Models of Concurrency The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
23Agata Janowska, Wojciech Penczek, Agata Pólrola, Andrzej Zbrzezny Using Integer Time Steps for Checking Branching Time Properties of Time Petri Nets. Search on Bibsonomy PNSE The full citation details ... 2012 DBLP  BibTeX  RDF
23Pao-Ann Hsiung, Chuen-Hau Gao Formal Synthesis of Real-Time Embedded Software by Time-Memory Scheduling of Colored Time Petri Nets. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
23Olivier H. Roux, David Delfieu, Pierre Molinaro Discrete time approach of time Petri nets for real-time systems analysis. Search on Bibsonomy ETFA (2) The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
21Timo Lask Stochastic time petri nets: time processes modelling in Modelica and application in hospital and healthcare. Search on Bibsonomy EOOLT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
21Zhao Tian, Zundong Zhang, Yangdong Ye, Limin Jia Analysis of real-time system conflict based on fuzzy time Petri nets. Search on Bibsonomy Journal of Intelligent and Fuzzy Systems The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
21Dmitriy Bushin, Irina Virbitskaite Time Process Equivalences for Time Petri Nets. Search on Bibsonomy CS&P The full citation details ... 2014 DBLP  BibTeX  RDF
21Nabil Belala, Djamel-Eddine Saïdouni, Radja Boukharrou, Ahmed-Chawki Chaouche, A. Seraoui, A. Chachoua Time Petri Nets with Action Duration: A True Concurrency Real-Time Model. Search on Bibsonomy IJERTCS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
21Simona Bernardi, Javier Campos A Min-Max Problem for the Computation of the Cycle Time Lower Bound in Interval-Based Time Petri Nets. Search on Bibsonomy IEEE Trans. Systems, Man, and Cybernetics: Systems The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
21Patrice Bonhomme State observer synthesis of real-time systems modeled by P-time Petri nets. Search on Bibsonomy ETFA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
21Adel Mahfoudhi, Yessine Hadj Kacem, Walid Karamti, Mohamed Abid Compositional specification of real time embedded systems by priority time Petri Nets. Search on Bibsonomy The Journal of Supercomputing The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
21Patrice Bonhomme A symbolic schedulability technique of real-time systems modeled by P-Time Petri nets. Search on Bibsonomy CASE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
21Michal Knapik, Wojciech Penczek, Maciej Szreter, Agata Pólrola Bounded Parametric Verification for Distributed Time Petri Nets with Discrete-Time Semantics. Search on Bibsonomy Fundam. Inform. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
21Jörg Peter Bachmann, Louchka Popova-Zeugmann Time-independent Liveness in Time Petri Nets. Search on Bibsonomy Fundam. Inform. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
21Gerrit K. Janssens, An Caris, Katrien Ramaekers Time Petri nets as an evaluation tool for handling travel time uncertainty in vehicle routing solutions. Search on Bibsonomy Expert Syst. Appl. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
21Simona Bernardi, Javier Campos Computation of Performance Bounds for Real-Time systems using Time Petri Nets. Search on Bibsonomy IEEE Trans. Industrial Informatics The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
21Laura Carnevali, Luigi Sassoli, Enrico Vicario Casting Preemptive Time Petri Nets in the Development Life Cycle of Real-Time Software. Search on Bibsonomy ECRTS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
21Yaojun Han, Changjun Jiang, Xuemei Luo A Study of Concurrency Control in Web-Based Distributed Real-Time Database System Using Extended Time Petri Nets. Search on Bibsonomy ISPAN The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
21Zonghua Gu, Kang G. Shin Analysis of Event-Driven Real-Time Systems with Time Petri Nets: A Translation-Based Approach. Search on Bibsonomy DIPES The full citation details ... 2002 DBLP  BibTeX  RDF
21Jiacun Wang, Yi Deng, Gang Xu Reachability analysis of real-time systems using time Petri nets. Search on Bibsonomy IEEE Trans. Systems, Man, and Cybernetics, Part B The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
21Antonio Cerone, Andrea Maggiolo-Schettini Time-Based Expressivity of Time Petri Nets for System Specification. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 305 (100 per page; Change: )
Pages: [1][2][3][4][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license