Automated Technology for Verification and Analysis
From MaRDI portal
Publication:5491871
DOI10.1007/11562948zbMath1170.68537OpenAlexW4300912265MaRDI QIDQ5491871
Béatrice Bérard, Olivier H. Roux, Serge Haddad, Didier Lime, Franck Cassez
Publication date: 10 October 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11562948
Related Items
Interpreted synchronous extension of time Petri nets. Definition, semantics and formal analysis, Weak Time Petri Nets Strike Back!, `True concurrency' semantics for time Petri nets with weak time and persistent atomic policies, Liveness enforcement for production systems modeled by time Petri nets, State estimation in labeled time Petri net systems using observed modified state class graph, An approach for enforcing a class of GMECs on time Petri nets with uncontrollable transitions, Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets, When are timed automata weakly timed bisimilar to time Petri nets?, Decidable Classes of Unbounded Petri Nets with Time and Urgency, Maximally permissive controller synthesis for time Petri nets, Cost Problems for Parametric Time Petri Nets*
Uses Software
