A study of the recoverability of computing systems, 1974. ,
Complexity of some problems in Petri nets, TCS, vol.4, issue.3, pp.277-299, 1977. ,
, Weak time Petri nets strike back!, in: CONCUR, vol.5710, pp.557-571, 2009.
Decidable classes of unbounded Petri nets with time and urgency, PETRI NETS'16, vol.9698, pp.301-322, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01379414
Dynamical properties of timed automata, In DEDS, vol.10, issue.1-2, pp.87-113, 2000. ,
Robustness of time Petri nets under guard enlargement, Fundam. Inform, vol.143, issue.3-4, pp.207-234, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-00879832
On multi-enabledness in time Petri nets, Proc. of PETRI NETS'13, vol.7927, pp.130-149, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00940994
Free Choice Petri nets, 1995. ,
Timed Petri nets and BQOs, Proc. of ICATPN 2001, vol.2075, pp.53-70, 2001. ,
TAPAAL: editor, simulator and verifier of timed-arc petri nets, in: Automated Technology for Verification and Analysis, 7th International Symposium, vol.5799, pp.84-89, 2009. ,
Verification of timed-arc Petri nets, SOFSEM'11, vol.6543, pp.46-72, 2011. ,
Timed processes of timed Petri nets, Proc. of ICATPN, vol.935, pp.490-509, 1995. ,
Algebras of processes of timed Petri nets, CONCUR '94, vol.836, pp.194-209, 1994. ,
A causal semantics for time Petri nets, TCS, vol.243, issue.1-2, pp.409-447, 2000. ,
Time process equivalences for time Petri nets, Workshop on Concurrency, Specification and Programming, vol.1269, pp.257-268, 2014. ,
Complete finite prefixes of symbolic unfoldings of safe time Petri nets, ICATPN'06, pp.125-145, 2006. ,
Back in time Petri nets, Proc. of FORMATS'13, vol.8053, pp.91-105, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00925467
Combining free choice and time in petri nets, 23rd International Symposium on Temporal Representation and Reasoning, pp.120-129, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01650751
Modeling and verification of time dependent systems using time Petri nets, IEEE Trans. in Software Engineering, vol.17, issue.3, pp.259-273, 1991. ,
Time-based expressivity of time Petri nets for system specification, TCS, vol.216, issue.1-2, pp.1-53, 1999. ,
Multiple enabledness of transitions in Petri nets with time, Proc. of PNPM'01, pp.219-228, 2001. ,
The non-sequential behavior of petri nets, Information and Control, vol.57, issue.2/3, pp.125-147, 1983. ,
, Nonsequential Processes-A Petri Net View, vol.13, 1988.
Branching processes of petri nets, Acta Inf, vol.28, issue.6, pp.575-591, 1991. ,
Branching processes of general Petri nets, Fundam. Inform, vol.122, issue.1-2, pp.31-58, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00625302
A technique of state space search based on unfolding, Formal Methods in System Design, vol.6, issue.1, pp.45-65, 1995. ,
An improvement of McMillan's unfolding algorithm, Proc. of TACAS '96, vol.1055, pp.87-106, 1996. ,
Model checking of time Petri nets using the state class timed automaton, Journal of Discrete Event Dynamic Systems, vol.16, issue.2, pp.179-205, 2006. ,
URL : https://hal.archives-ouvertes.fr/hal-00488957
The covering and boundedness problem for vector addition systems, TCS, vol.6, pp.223-231, 1978. ,
Recent and simple algorithms for Petri nets, Software and System Modeling, vol.14, issue.2, pp.719-725, 2015. ,
Place or transition petri nets, in: Lectures on Petri Nets I: Basic Models, Advances in Petri Nets. Volumes based on the Advanced Course on Petri Nets, Dagstuhl, vol.1491, pp.122-173, 1996. ,
, Reachability of communicating timed processes., in: FoSSaCS, vol.7794, pp.81-96, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00744085
A well-structured framework for analysing petri net extensions, Inf. Comput, vol.195, issue.1-2, pp.1-29, 2004. ,
A theory of timed automata, In TCS, vol.126, issue.2, pp.183-235, 1994. ,
Robust model-checking of timed automata via pumping in channel machines, FORMATS 2011, vol.6919, pp.97-112, 2011. ,