Petri net tool overview 1986

Authors:
F Feldbrugge;K Jensen
Affiliations:
-;-
Venue:
Advances in Petri nets 1986, part II on Petri nets: applications and relationships to other models of concurrency
Year:
1987

Citing 0
Cited 3

PROTEAN: A High-Level Petri Net Tool for the Specification and Verification of Communication Protocols

IEEE Transactions on Software Engineering
Investigating the Applicability of Petri Nets for Rule-Based System Verification

IEEE Transactions on Knowledge and Data Engineering
Workflow Simulation across Multiple Workflow Domains

DEXA '02 Proceedings of the 13th International Conference on Database and Expert Systems Applications

Quantified Score

Hi-index	0.00

Visualization

Abstract