✦ LIBER ✦

UML behavioral consistency checking using instantiable Petri nets

✍ Scribed by Yann Thierry-Mieg; Lom-Messan Hillah

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Using transition set sequences to partit

✍ Yunhe Wang; Li Jiao 📂 Article 📅 2011 🏛 Springer-Verlag 🌐 English ⚖ 245 KB

Representation and analysis of behavior

✍ Q. Jin; Y. Sugasawa 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 771 KB

Modeling and logic controller specificat

✍ Francesco Basile; Pasquale Chiacchio; Valeria Vittorini; Nicola Mazzocca 📂 Article 📅 2004 🏛 Springer US 🌐 English ⚖ 762 KB

[IEEE IEEE International Conference on N

✍ Chang-Pin Lin, ; Yi-Pin Lin, ; Min Der Jeng, 📂 Article 📅 2004 🏛 IEEE ⚖ 370 KB

[IEEE Sixth International Workshop on Sc

✍ Fernandes, Joao M.; Tjell, Simon; Jorgensen, Jens Baek; Ribeiro, Oscar 📂 Article 📅 2007 🏛 IEEE ⚖ 386 KB