ACM Transactions on Computer Systems (TOCS)
Verifying temporal properties without temporal logic
ACM Transactions on Programming Languages and Systems (TOPLAS)
IEEE Transactions on Computers
ACM Computing Surveys (CSUR)
Specifying Concurrent Program Modules
ACM Transactions on Programming Languages and Systems (TOPLAS)
A note on reliable full-duplex transmission over half-duplex links
Communications of the ACM
Computer Systems: Reliable full-duplex file transmission over half-duplex telephone line
Communications of the ACM
Introduction to Mathematical Theory of Computation
Introduction to Mathematical Theory of Computation
Concurrency and Automata on Infinite Sequences
Proceedings of the 5th GI-Conference on Theoretical Computer Science
ANALYSIS OF ASYNCHRONOUS CONCURRENT SYSTEMS BY TIMED PETRI NETS
ANALYSIS OF ASYNCHRONOUS CONCURRENT SYSTEMS BY TIMED PETRI NETS
On the integration of delay and throughput measures in distributed processing models
On the integration of delay and throughput measures in distributed processing models
Executing formal specifications: the ASTRAL to TRIO translation approach
TAV4 Proceedings of the symposium on Testing, analysis, and verification
Specification of Realtime Systems Using ASTRAL
IEEE Transactions on Software Engineering
Specification of realtime systems using ASTRAL
IEEE Transactions on Software Engineering
An Interval Logic for Real-Time System Specification
IEEE Transactions on Software Engineering
A New Structural Induction Theorem for Rings of Temporal Petri Nets
IEEE Transactions on Software Engineering
Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net Models
IEEE Transactions on Software Engineering
A Formal Framework for ASTRAL Intralevel Proof Obligations
IEEE Transactions on Software Engineering
Compositional Validation of Time-Critical Systems Using Communicating Time Petri Nets
IEEE Transactions on Software Engineering
Behavior relativity of Petri nets
Journal of Computer Science and Technology
Formal Analysis of an Online Stock Trading System by Temporal Petri Nets
ICCNMC '01 Proceedings of the 2001 International Conference on Computer Networks and Mobile Computing (ICCNMC'01)
Fast verification of the class of stop-and-wait protocols modelled by coloured Petri nets
Nordic Journal of Computing
Performance Analysis and Functional Verification of the Stop-and-Wait Protocol in HOL
Journal of Automated Reasoning
Petri nets for protocol engineering
Computer Communications
| Hi-index | 0.00 |
Temporal Petri nets are Petri nets in which certain restrictions on the firings of transitions are represented by formulas containing temporal operators. The use of temporal Petri nets for formal specification and verification of the alternating bit protocol is discussed. The temporal Petri net which models the protocol is analyzed formally using the existing theory of omega -regular expressions and Buchi-automata.