Found 61 Documents (Results 1–61)
Reconfigurable timed graphs for the design of optimal scheduling in uncertain environments based on transition-timed Petri net. (English) Zbl 1521.93105
Liveness enforcement for production systems modeled by time Petri nets. (English) Zbl 1522.93127
MSC:
93C65
Decentralized state estimation and diagnosis of p-time labeled Petri nets systems. (English) Zbl 1478.93381
Performance evaluation in stochastic process algebra dtsdPBC. (English) Zbl 1482.68156
Reviewer: Ahmet A. Khusainov (Komsomolsk-om-Amur)
‘True concurrency’ semantics for time Petri nets with weak time and persistent atomic policies. (English. Russian original) Zbl 1483.68237
Program. Comput. Softw. 47, No. 5, 389-401 (2021); translation from Programmirovanie 47, No. 5, 60-74 (2021).
Flexible nets: a modeling formalism for dynamic systems with uncertain parameters. (English) Zbl 1441.93159
Computing branching distances using quantitative games. (English) Zbl 1464.68238
Hierons, Robert Mark (ed.) et al., Theoretical aspects of computing – ICTAC 2019. 16th international colloquium, Hammamet, Tunisia, October 31 – November 4, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11884, 59-75 (2019).
Approximated timed reachability graphs for the robust control of discrete event systems. (English) Zbl 1425.93034
Hyper temporal networks. A tractable generalization of simple temporal networks and its relation to mean payoff games. (English) Zbl 1390.90102
A temporal logic for micro- and macro-step-based real-time systems: foundations and applications. (English) Zbl 1348.68149
Equivalence relations for modular performance evaluation in dtsPBC. (English) Zbl 1342.68244
MSC:
68Q85
Dynamic networks of timed Petri nets. (English) Zbl 1410.68256
Ciardo, Gianfranco (ed.) et al., Application and theory of Petri nets and concurrency. 35th international conference, PETRI NETS 2014, Tunis, Tunisia, June 23–27, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8489, 294-313 (2014).
MSC:
68Q85
TCTL-preserving translations from timed-arc Petri nets to networks of timed automata. (English) Zbl 1359.68216
Nondeterministic probabilistic Petri net – a new method to study qualitative and quantitative behaviors of system. (English) Zbl 1280.68138
Scheduling and control of real-time systems based on a token player approach. (English) Zbl 1268.93099
Model checking time-dependent system specifications using time stream Petri nets and UPPAAL. (English) Zbl 1252.68190
On fluidization of discrete event models: Observation and control of continuous Petri nets. (English) Zbl 1235.93154
On the composition of time Petri nets. (English) Zbl 1238.68101
Reviewer: Maciej Koutny (Newcastle upon Tyne)
Verification of timed-arc Petri nets. (English) Zbl 1298.68175
Černá, Ivana (ed.) et al., SOFSEM 2011: Theory and practice of computer science. 37th conference on current trends in theory and practice of computer science, Nový Smokovec, Slovakia, January 22–28, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-18380-5/pbk). Lecture Notes in Computer Science 6543, 46-72 (2011).
A COTS-based approach for estimating performance and energy consumption of embedded real-time systems. (English) Zbl 1234.68283
Concurrency and time in role-based access control. (English) Zbl 1214.68108
Park, Jong Hyuk (ed.) et al., Advances in information security and its application. Third international conference, ISA 2009, Seoul, Korea, June 25–27, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02632-4/pbk; 978-3-642-02633-1/ebook). Communications in Computer and Information Science 36, 37-42 (2009).
Petri net-based modeling and performance analysis of transaction scheduling in grid database. (English) Zbl 1186.68065
Full simulation coverage for SystemC transaction-level models of systems-on-a-chip. (English) Zbl 1186.68127
MSC:
68N99
An upper bound on the cycle time of a stochastic marked graph using incomplete information on the transition firing time distributions. (English) Zbl 1165.60347
Minimal cost reachability/coverability in priced timed Petri nets. (English) Zbl 1234.68280
de Alfaro, Luca (ed.), Foundations of software science and computational structures. 12th international conference, FOSSACS 2009, held as part of the joint European conferences on theory and practice of software, ETAPS 2009, York, UK, March 22–29, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-00595-4/pbk). Lecture Notes in Computer Science 5504, 348-363 (2009).
MSC:
68Q85
Hard real-time tasks’ scheduling considering voltage scaling, precedence and exclusion relations. (English) Zbl 1191.68107
MSC:
68M20
Comparing the expressiveness of timed automata and timed extensions of Petri nets. (English) Zbl 1171.68579
Cassez, Franck (ed.) et al., Formal modeling and analysis of timed systems. 6th international conference, FORMATS 2008, Saint Malo, France, September 15–17, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85777-8/pbk). Lecture Notes in Computer Science 5215, 15-32 (2008).
Interval timed coloured Petri net: efficient construction of its state class space preserving linear properties. (English) Zbl 1141.68045
MSC:
68Q85
A time Petri net-based approach for synchronization, analysis and management of multimedia scenarios. (English) Zbl 1147.68594
Specification and analysis of timing requirements for real-time systems in the CBD approach. (English) Zbl 1118.68094
MSC:
68Q85
Distributed simulation of modular time Petri nets: An approach and a case study exploiting temporal uncertainty. (English) Zbl 1113.68067
MSC:
68Q85
Fuzzy timed Petri net definitions, properties, and applications. (English) Zbl 1101.68061
MSC:
68Q85
The tool TINA – construction of abstract state spaces for Petri nets and time Petri nets. (English) Zbl 1060.68695
Qualitative simulation of temporal concurrent processes using time interval Petri nets. (English) Zbl 1079.68578
MSC:
68Q85
Faster asynchronous systems. (English) Zbl 1054.68097
MSC:
68Q85
Formal synthesis of real-time embedded software by time-memory scheduling of colored time Petri nets. (English) Zbl 1270.68052
Asarin, Eugene (ed.) et al., TPTS’2002. Proceedings of the 1st workshop on the theory and practice of timed systems (satellite event of ETAPS 2002), Grenoble, France, April 6–7, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 65, No. 6, 140-159 (2002).
Contraction of the ITCPN state space. (English) Zbl 1270.68163
Asarin, Eugene (ed.) et al., TPTS’2002. Proceedings of the 1st workshop on the theory and practice of timed systems (satellite event of ETAPS 2002), Grenoble, France, April 6–7, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 65, No. 6, 1-15 (2002).
A generic causal model for place latency. (English) Zbl 1061.68112
MSC:
68Q85
Efficient verification of a class of time Petri nets using linear programming. (English) Zbl 0996.68524
MSC:
68Q85
Verifying time Petri nets by linear programming. (English) Zbl 0974.68140
MSC:
68Q85
A brief survey and synthesis of the roles of time in Petri nets. (English) Zbl 1042.68613
MSC:
68Q85
A causal semantic for time Petri nets. (English) Zbl 0951.68095
MSC:
68Q85
A wide-spectrum language for object-based development of real-time systems. (English) Zbl 0943.68024
Time processes for time Petri nets. (English) Zbl 1510.68048
Azéma, Pierre (ed.) et al., Application and theory of Petri nets 1997. 18th international conference, ICATPN ’97. Toulouse, France. June 23–27, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1248, 136-155 (1997).
Mapping timed cause-effect structures into timed Petri nets. (English. Russian original) Zbl 0908.68116
Cybern. Syst. Anal. 33, No. 2, 186-194 (1997); translation from Kibern. Sist. Anal. 1997, No. 2, 44-54 (1997).
MSC:
68Q85
A process algebra of communicating shared resources with dense time and priorities. (English) Zbl 0893.68005
MSC:
68M10
Causal behaviours and nets. (English) Zbl 1496.68231
De Michelis, Giorgio (ed.) et al., Application and theory of Petri nets 1995. 16th international conference, Turin, Italy, June 26–30, 1995. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 935, 258-277 (1995).
TIC: a tImed calculus. (English) Zbl 0797.68059
Reviewer: M.Křetínský (Brno)
Filter Results by …
Document Type
- Journal Articles (51)
- Collection Articles (10)
all
top 5
Author
- Boucheneb, Hanifa (4)
- Tarasyuk, Igor’ Valer’evich (4)
- Lilius, Johan (3)
- Morzenti, Angelo (3)
- Srba, Jiří (3)
- Abdulla, Parosh Aziz (2)
- Aura, Tuomas (2)
- Berthomieu, Bernard (2)
- Bonhomme, Patrice (2)
- Bunke, Horst (2)
- Cicirelli, Franco (2)
- Ding, Zouhua (2)
- Fahrenberg, Uli (2)
- Furfaro, Angelo (2)
- Gargantini, Angelo (2)
- Hadjidj, Rachid (2)
- Jacobsen, Lasse (2)
- Jacobsen, Morten (2)
- Júlvez, Jorge (2)
- Kandel, Abraham (2)
- Lefebvre, Dimitri (2)
- Legay, Axel (2)
- Li, Xuandong (2)
- Maciel, Paulo (2)
- Mandrioli, Dino (2)
- Møller, Mikael Harkjær (2)
- Nigro, Libero (2)
- Quaas, Karin (2)
- Schneider, Moti (2)
- Vernadat, François B. (2)
- Afrati, Foto N. (1)
- Alla, Hassane (1)
- Andrade, Ermeson (1)
- Azcorra, Arturo (1)
- Baldan, Paolo (1)
- Bayrak, Coskun (1)
- Berthelot, Gérard (1)
- Bowden, F. D. J. (1)
- Brémond-Grégoire, Patrice (1)
- Bulitko, Vadim (1)
- Byg, Joakim (1)
- Callou, Gustavo (1)
- Cau, Antonio (1)
- Cerone, Antonio (1)
- Chae, Heung Seok (1)
- Chen, Zhiqiang (1)
- Chiang, Chia-Chu (1)
- Cocco, Nicoletta (1)
- Comin, Carlo (1)
- de Frutos, David (1)
- Dong, Yifan (1)
- Dullaert, Wout E. H. (1)
- Durchholz, Reiner (1)
- Felder, Miguel (1)
- Ferrucci, Luca (1)
- Gau, Chuen-Hau (1)
- Ghomari, A. (1)
- Han, Yaojun (1)
- Hayane, Oussama (1)
- Helmstetter, C. E. (1)
- Hsiung, Pao-Ann (1)
- Janssens, Gerrit K. (1)
- Jiang, Changjun (1)
- Jonsson, Bengt (1)
- Jørgensen, Kenneth Yrke (1)
- Katoen, Joost-Pieter (1)
- Kipersztok, Oscar (1)
- Kwon, Yong Rae (1)
- Lee, Ho-kyoung (1)
- Lee, Insup (1)
- Lee, Woojin (1)
- Li, Zhiwu (1)
- Liu, Pan (1)
- Liu, Yang (1)
- Luo, Xuemei (1)
- Ma, Yan (1)
- Maggiolo-Schettini, Andrea (1)
- Mahulea, Cristian (1)
- Maillet-Contoz, L. (1)
- Maraninchi, Florence (1)
- Marin, Andrea (1)
- Martos-Salgado, María (1)
- Mayr, Richard M. (1)
- Miao, Huaikou (1)
- Nogueira, Bruno Magalhães (1)
- Oliveira jun., Meuse N. (1)
- Oliver, Stephen G. (1)
- Papadimitriou, Christos Harilaos (1)
- Papageorgiou, George (1)
- Peres, Florent (1)
- Posenato, Roberto (1)
- Qin, Tao (1)
- Quemada, Juan (1)
- Ribet, Pierre-Olivier (1)
- Rizzi, Romeo (1)
- Rosa-Velardo, Fernando (1)
- Rossi, Matteo A. C. (1)
- Sava, Alexandru Tiberiu (1)
- Silva, Bruno C. H. (1)
- Silva, Manuel (1)
- and 12 more Authors
all
top 5
Serial
- Theor. Comput. Sci. (11)
- Discrete Event Dyn. Syst. (6)
- Math. Comput. Modelling (4)
- Inf. Process. Lett. (3)
- Sib. Èlektron. Mat. Izv. (3)
- Inf. Sci. (2)
- J. Comput. Sci. Technol. (2)
- Inf. Comput. (2)
- Formal Asp. Comput. (2)
- Real-Time Syst. (2)
- Artif. Intell. (1)
- Appl. Math. Comput. (1)
- Math. Comput. Simul. (1)
- Program. Comput. Softw. (1)
- Int. J. Prod. Res. (1)
- Algorithmica (1)
- COMPEL (1)
- Math. Struct. Comput. Sci. (1)
- Cybern. Syst. Anal. (1)
- Form. Methods Syst. Des. (1)
- Constraints (1)
- Eur. J. Control (1)
- Nat. Comput. (1)
- Int. J. Parallel Emergent Distrib. Syst. (1)
all
top 3
Software
- Uppaal (8)
- TINA (6)
- Kronos (5)
- HyTech (4)
- Romeo (4)
- CMC (3)
- IF-2.0 (3)
- PetriNets (3)
- TAPAAL (3)
- Bio-PEPA (2)
- PNML (2)
- TimeNET (2)
- ASTRAL (1)
- BRENDA (1)
- CESAR (1)
- CPLEX (1)
- DART (1)
- DYNAMO (1)
- Design/CPN (1)
- Esterel (1)
- FastAsy (1)
- GitHub (1)
- Gurobi (1)
- HySAT (1)
- HyTN (1)
- INA (1)
- KEGG (1)
- MARTE (1)
- MetaCyc (1)
- Octagon (1)
- PEPA (1)
- PGSolver (1)
- PIPE (1)
- PRISM (1)
- PVS (1)
- Pinapa (1)
- Pyomo (1)
- RT-ASLAN (1)
- Reactome (1)
- SENAC (1)
- SNOOPY (1)
- SPNP (1)
- SoftExplorer (1)
- SpaceEx (1)
- SysML (1)
- SystemC (1)
- TRANSPATH (1)
- UMDES (1)
- UPPAAL TIGA (1)
- VERSA (1)
- VINAS-P (1)
- veriSoft (1)