On the composition of time Petri nets

DOI10.1007/S10626-011-0102-2zbMATH Open1238.68101OpenAlexW2024286707MaRDI QIDQ645045FDOQ645045

Authors: Florent Peres, Bernard Berthomieu, François Vernadat 

Publication date: 8 November 2011

Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10626-011-0102-2

Recommendations

• scientific article; zbMATH DE number 1696462
• scientific article
• The expressive power of time Petri nets
• scientific article; zbMATH DE number 1228291
• Time and Petri nets
• scientific article
• Time Recursive Petri Nets

zbMATH Keywords

concurrencydistributed systemcompositionalityPetri netmodel transformationreal time systemtime Petri net

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Computer Aided Verification
• Characterizing finite Kripke structures in propositional temporal logic
• Formal Modeling and Analysis of Timed Systems
• Title not available (Why is that?)
• Recoverability of Communication Protocols--Implications of a Theoretical Study
• The tool TINA – Construction of abstract state spaces for petri nets and time petri nets
• Compositional specification of timed systems
• Bridging the Gap Between Timed Automata and Bounded Time Petri Nets
• Timed Petri Nets and Timed Automata: On the Discriminating Power of Zeno Sequences
• Comparison of the Expressiveness of Arc, Place and Transition Time Petri Nets

Cited In (12)

• A compositional partial order semantics for Petri net components
• On Multi-enabledness in Time Petri Nets
• Title not available (Why is that?)
• On persistency in time Petri nets
• Title not available (Why is that?)
• Comparative trace semantics of time Petri nets
• Applications and Theory of Petri Nets 2004
• A brief survey and synthesis of the roles of time in Petri nets.
• Title not available (Why is that?)
• Title not available (Why is that?)
• Formalization of Petri nets with clocks
• Title not available (Why is that?)

Uses Software

• TINA

This page was built for publication: On the composition of time Petri nets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q645045)