Advertisement

On well-formed nets and optimizations in enabling tests

  • Jean-Michel Ilié
  • Omar Rojas
Full Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 691)

Abstract

Simulation techniques are frequently used to verify behavioural properties of complex systems. The tools which enhance these techniques have to cope with combinatorial explosion problems, even for small system specifications. Several optimizations have been proposed in order to perform exhaustive simulations. In well-formed nets, they may be complemented by optimized management of transition firings. We would like to propose a methodological approach to take into account dependency relations between tokens to avoid useless combinations. A simulation service has been implemented to enhance this work.

Keywords

Colour Function Instance Class Colour Class Input Place Colour Domain 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Bernard J.M., Mounier J.L., Beldiceanu N., Haddad S.; “AMI: An extensible Petri Net Internetive Workshop”; 9th European Workshop on ATPN, Venice, Italy, pp. 101–117; June 1988.Google Scholar
  2. 2.
    Bonnaire X., Dutheillet C., Haddad S., “SANDRINE: An Analysis System for the declaration of AMI-Nets, Internal report of the Blaise Pascal Institute, MASI 92.20, June 1992.Google Scholar
  3. 3.
    Chiola G., C. Dutheillet, G. Franceschinis, S. Haddad; “On Well-Formed Coloured Petri nets and their Symbolic Reachability Graph”. Proceedings of the 11th International Conference on Application and Theory of Petri nets, Paris, June 1990.Google Scholar
  4. 4.
    Chiola G., Franceschinis G.: “A Structural Colour Simplification in Well-Formed Coloured Nets”. In proc. of the 4th International Workshop on Petri Nets and Perfomance Models (PNPM 91), IEEE CS Press, Melbourne, Australia, December 1991, pp 144–153.Google Scholar
  5. 5.
    Chiola G., Franceschinis G., Gaeta R.: A symbolic simulation mechanism for Well-Formed Coloured Petri Nets. In proc. of the 25th simulation symposium, Orlando, Florida, 1992.Google Scholar
  6. 6.
    Christensen S.; “Coloured Petri Nets Extended with Place Capacities, Test Arcs and Inhibitor Arcs”. In proc. of the 14th International Conference on Application and Theory of Petri nets, Chicago, June 1992.Google Scholar
  7. 7.
    Doldi L., Gauthier P.; “VEDA2, Power for the designer”; FORTE'92, Fifth International Conference on Formal Description Techniques; Lannion; France; Oct. 1992.Google Scholar
  8. 8.
    Dutheillet C., Haddad S.; “Regular Stochastic Petri Nets”, In High-level Petri Nets. Theory and Application, K. Jensen and G. Rozenberg eds., Springer-Verlag, pp 470–493, 1991.Google Scholar
  9. 9.
    Fischer Y., Foughali K., “Integrating Tools in the AMI v.1.3 Environment”, Internal report of the Blaise Pascal Institute, MASI 93.15, Mars 1993.Google Scholar
  10. 10.
    Genrich H.J.; “Predicate / Transition Nets”. In High-level Petri Nets. Theory and Application, K. Jensen and G. Rozenberg eds., Springer-Verlag, 1991, pp 3–43.Google Scholar
  11. 11.
    Godfroid P.; “Using Partial Orders to improve Automatic Verification Methods; LNCS 531, Springer, 176–185; 1991.Google Scholar
  12. 12.
    Janicki R.; “Optimal Simulation, nets and reachability Graphs”; Advances in Petri Nets; LNCS 524, pp 205–226; 1991.Google Scholar
  13. 13.
    Jensen K., Rozenberg G. (Eds); “High Level Petri Nets, Theory and Appplication”, Springer Verlag, 1991.Google Scholar
  14. 14.
    Nutt G.J., “A Simulation System Architecture for Graph Models”, Advances in Petri Nets, LNCS 483, pp 417–435, 1990.Google Scholar
  15. 15.
    Valmari A.; “Stubborn Sets of Coloured Petri Nets”. Proceedings of the 12th International Conference on Application and Theory of Petri nets, Denmark, June 1991.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • Jean-Michel Ilié
    • 1
  • Omar Rojas
    • 2
  1. 1.MASI-CNRS UA 818Université Pierre el Marie CURIEParis, Cedex 05France
  2. 2.IUT - Feredico Rivero PalacioCaracasVenezuela

Personalised recommendations