Improving the calculus of the marking graph of Petri net with BDD like structure

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics

Volumn 1, Issue , 2002, Pages 43-48

  Molinaro, Pierre ^a   Delfieu, David ^a   Roux, Olivier H ^a  

^a CNRS   (France)

Author keywords

BDD; Marking graph; Time Petri Net

Indexed keywords

ALGORITHMS; COMPUTER SOFTWARE; DECISION THEORY; FUNCTIONS; MATRIX ALGEBRA; OPTIMIZATION;

BINARY DECISION DIAGRAMS (BDD);

PETRI NETS;

EID: 0038345885     PISSN: 08843627     EISSN: None     Source Type: Journal    
DOI: 10.1109/ICSMC.2002.1167945     Document Type: Article

References (13)

1. S. B. Akers, “Binary Decision Diagrams”, IEEE Transactions on Computers, vol. c-27, n. 6, June 1978
2. R. Bryant, « Symbolic Boolean Manipulation with ordered Binary Decision Diagrams ». ACM Computing Surveys, Sept 1992, Vol 24, n° 3.
3. 20 states and beyond », IEEE Tranaction. on computers, 1990.
4. R.E. Bryant, “Graph-Based Algorithms for Boolean Function Manipulation IEEE Transactions on Computers, vol. c-35, n° 8, August 1986.
5. K.S. Brace, R.L. Rudell, and R.E. Bryant, “Efficient Implementation of a BDD package”, Proceedings of 27th Design Automation, Conference, 1990.
6. Leslie Lamport, “Proving the correctness of multiprocess programs”, IEEE Transaction on Software Engineering, vol 3(2), pp. 125-143, March 1977.
7. Leslie Lamport. “Sometimes" is sometimes “not never”, in Proceedings of 7th ACM Symposium on Principles of Programming Languages, pp 174-185, 1980.
8. P. Merlin, “ A study of the recoverability of computer system “, Ph.D. Thesis, department of Computer Science, University of California, Irvine, 1974.
9. th ACM/IEEE Design Automation Conference, 1993.
10. P. Molinaro, O.H. Roux, D. Delfieu, « Analysing Temporal Constraints with Binary. Decision Diagrams », “, in Proceedings of the 2000 Real Time Programming Systems Workshop, WRTP’2000, pp 131-136, 2000.
11. C.A. Petri, «Kommunikation mit Automaten » (Communication with Automata), PHD Thesis at Technical University Darmstadt, 1962.
12. O. H. Roux, P. Molinaro, D. Delfieu, “Discrete Time Approach of Time Petri Nets for Real-Time Systems Analysis”, in proceedings of ETFA, pp 197-204, 2001.
13. R. Valette, «Cours de Réseaux de Petri », tutorial course of INSA de Toulouse, 1993 (release 2001).