Temporal Petri Nets and Their Application to Modeling and Analysis of a Handshake Daisy Chain Arbiter

Authors:
Ichiro Suzuki;Harngdar Lu
Affiliations:
Univ. of Wisconsin:8NMilwaukee, Milwaukee;National Chung Shan Institute of Science and Technology, Lung Tan, Taiwan
Venue:
IEEE Transactions on Computers
Year:
1989

Citing 12
Cited 11

A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems

ACM Transactions on Computer Systems (TOCS)
Specification and verification of decentralized daisy chain arbiters with &ohgr;-extended regular expressions

Theoretical Computer Science
Petri Nets

ACM Computing Surveys (CSUR)
Proving Liveness Properties of Concurrent Programs

ACM Transactions on Programming Languages and Systems (TOPLAS)
Synthesis of Communicating Processes from Temporal Logic Specifications

ACM Transactions on Programming Languages and Systems (TOPLAS)
A note on reliable full-duplex transmission over half-duplex links

Communications of the ACM
On the temporal analysis of fairness

POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
"Sometime" is sometimes "not never": on the temporal logic of programs

POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic

Logic of Programs, Workshop
Timed Petri nets and preliminary performance evaluation

ISCA '80 Proceedings of the 7th annual symposium on Computer Architecture
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

Formal Analysis of the Alternating Bit Protocol by Temporal Petri Nets

IEEE Transactions on Software Engineering
Hyperdocuments as automata: trace-based browsing property verification

ECHT '92 Proceedings of the ACM conference on Hypertext
Timing Constraint Petri Nets and Their Application to Schedulability Analysis of Real-Time System Specifications

IEEE Transactions on Software Engineering
A New Structural Induction Theorem for Rings of Temporal 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)
Verifying functions in online stock trading systems

Journal of Computer Science and Technology
TeMAS–a multi-agent system for temporally rich domains

Knowledge and Information Systems
One kind of petri nets with systematized changeable structure

CCDC'09 Proceedings of the 21st annual international conference on Chinese control and decision conference
Temporal knowledge representation and reasoning model for temporally rich domains

KES'05 Proceedings of the 9th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part II
Petri nets for protocol engineering

Computer Communications

Quantified Score

Hi-index	14.98

Visualization

Abstract

A class of Petri nets called temporal Petri nets is introduced, in which timing constraints are represented by the operators of temporal logic. Due to the versatility of the temporal logic operations to express temporal assertions, temporal Petri nets can describe clearly and compactly causal and temporal relationships between the events of a system, including eventuality and fairness. The use of temporal Petri nets is illustrated with a nontrivial example of modeling and analysis of a handshake daisy-chain arbiter.