samsalisbury's library 41 articles Export

	Process for System Architecture and Requirements Engineering [My Copy] (31 August 2000) by Derek J. Hatley, Peter Hruschka, Imtiaz A. Pirbhai posted to no-tag by samsalisbury on 2008-05-13 00:25:22 as
	Thirty one Problems in the Semantics of UML 1.3 Dynamics [My Copy] by G. Reggio, R. J. Wieringa posted to no-tag by samsalisbury on 2008-05-13 00:11:38 as
	A Study of Familiarity [My Copy] INTERACT (2003), pp. 463-470. by Guy Van de Walle, Phil Turner, Elisabeth Davenport edited by M. Rauterberg posted to no-tag by samsalisbury on 2008-05-12 23:32:18 as
	Requirements Classification as a First Step to Grasp Quality Requirements [My Copy] (1997) by Elke Hochmüller posted to no-tag by samsalisbury on 2008-05-11 23:47:50 as
	JavaScript: The Good Parts [My Copy] (01 December 2008) by Douglas Crockford, Crockford Douglas posted to javascript by samsalisbury on 2008-05-11 01:18:34 as along with 5 people pool007 TKAB acebal MarkusToe voronov
	A Spiral Model of Software Development and Enhancement [My Copy] Computer, Vol. 21, No. 5. (May 1988), pp. 61-72. by Barry W. Boehm posted to no-tag by samsalisbury on 2008-05-09 15:32:46 as along with 9 people muratspi stabletree embersp khooet neilernst smogit tni trm005 mvolger
	Managing the development of large software systems [My Copy] In Proceedings of IEEE WESCON, Vol. 26 (August 1970), pp. 1-9. by W. W. Royce posted to no-tag by samsalisbury on 2008-05-09 14:50:25 as along with 5 people and 1 group muratspi germoglio Warmonkey jjamor beroca Software-Architecture
	The humble programmer [My Copy] Commun. ACM, Vol. 15, No. 10. (October 1972), pp. 859-866. by Edsger W. Dijkstra posted to no-tag by samsalisbury on 2008-05-09 14:45:08 as along with 3 people emerson hamish 4vgacias
	What is beautiful is usable [My Copy] Interacting with Computers, Vol. 13, No. 2. (December 2000), pp. 127-145. by N. Tractinsky posted to no-tag by samsalisbury on 2008-01-31 19:16:17 as along with 17 people and 8 groups extremeboredom matatk mjparnell kgajos rabourn JacquesC sylvienoel russellbeale ryanshaw serwe marije archer aku8000 wigelius mrajanen christiand randomname Sus-IT NU-PRL CSCW sims_phd_cohort_2005 digital_youth Virtual_Reality HCI-Bham HCI-IHTE-TUT
	Timing Requirements for Time-Driven Systems Using Augmented Petri Nets [My Copy] Transactions on Software Engineering In Transactions on Software Engineering, Vol. SE-9, No. 5. (1983), pp. 603-616. by J. E. Coolahan, N. Roussopoulos posted to no-tag by samsalisbury on 2008-01-30 16:45:19 as
	Scheduling analysis of FMS: An unfolding timed Petri nets approach [My Copy] Mathematics and Computers in Simulation In Computational Engineering in Systems Applications, Vol. 70, No. 5-6. (24 February 2006), pp. 419-432. by Jong-Kun Lee, Ouajdi Korbaa posted to nets petri by samsalisbury on 2008-01-30 13:16:30 as
	Timed verification of the reliable adaptive multicast protocol [My Copy] Journal of Systems and Software, Vol. 80, No. 2. (February 2007), pp. 224-239. by Richard Lai, Tony Tsang posted to modelling nets petri by samsalisbury on 2008-01-30 13:11:37 as
	Modelling with Generalized Stochastic Petri Nets [My Copy] (28 November 1995) by G. Balbo, G. Conte, S. Donatelli, G. Franceschinis, Ajmone M. Marsan posted to modelling nets petri by samsalisbury on 2008-01-29 15:57:19 as along with 1 person pverstra
	The non-sequential behaviour of Petri nets [My Copy] Information and Control, Vol. 57, No. 2-3. ( 1983), pp. 125-147. by U. Goltz, W. Reisig posted to no-tag by samsalisbury on 2008-01-28 17:50:05 as
	Decidability Issues for Petri Nets - a Survey [My Copy] Bulletin of the European Association for Theoretical Computer Science, Vol. 52 (1994), pp. 245-262. by J. Esparza, M. Nielsen posted to algorithms complexity decidability nets petri by samsalisbury on 2008-01-24 22:21:22 as along with 3 people and 1 group fheintz pverstra abellogin macc
	Carl Adam Petri und die "Petrinetze" [My Copy] pp. 369-381. posted to history nets petri by samsalisbury on 2008-01-24 19:23:01 as
	Petri nets for modeling of dynamic systems : A survey [My Copy] Automatica, Vol. 30, No. 2. (February 1994), pp. 175-202. by Rene David, Hassane Alla posted to no-tag by samsalisbury on 2008-01-21 13:30:34 as
	Structural Translation from Time Petri Nets to Timed Automata [My Copy] Electronic Notes in Theoretical Computer Science In Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems (AVoCS 2004), Vol. 128, No. 6. (23 May 2005), pp. 145-160. by Franck Cassez, Olivier-H Roux posted to no-tag by samsalisbury on 2008-01-21 13:26:19 as
	PZ nets -- a formal method integrating Petri nets with Z [My Copy] Information and Software Technology, Vol. 43, No. 1. (1 January 2001), pp. 1-18. by Xudong He posted to no-tag by samsalisbury on 2008-01-21 13:22:54 as
	Transformations of Petri Nets [My Copy] Electronic Notes in Theoretical Computer Science In Proceedings of the School of SegraVis Research Training Network on Foundations of Visual Modelling Techniques (FoVMT 2004), Vol. 148, No. 1. (1 February 2006), pp. 151-172. by H. Ehrig, K. Hoffmann, J. Padberg posted to no-tag by samsalisbury on 2008-01-21 13:12:34 as along with 1 person leonardo
	Timed Petri nets definitions, properties, and applications [My Copy] Microelectronics and Reliability, Vol. 31, No. 4. (1991), pp. 627-644. by W. M. Zuberek posted to no-tag by samsalisbury on 2008-01-21 13:10:48 as
	Performance results for the CSMA/CD protocol using GreatSPN [My Copy] Journal of Systems and Software, Vol. 37, No. 1. (April 1997), pp. 75-90. by R. Lai posted to no-tag by samsalisbury on 2008-01-21 12:53:47 as
	GreatSPN 1.7: Graphical editor and analyzer for timed and stochastic Petri nets [My Copy] Performance Evaluation In Performance Modeling Tools, Vol. 24, No. 1-2. (November 1995), pp. 47-68. by G. Chiola, G. Franceschinis, R. Gaeta, M. Ribaudo posted to no-tag by samsalisbury on 2008-01-21 12:52:44 as
	Fuzzy timed Petri nets -- analysis and implementation [My Copy] Mathematical and Computer Modelling, Vol. 43, No. 3-4. (February 2006), pp. 385-400. by Zouhua Ding, Horst Bunke, Oscar Kipersztok, Mti Schneider, Abraham Kandel posted to no-tag by samsalisbury on 2008-01-21 12:51:32 as
	Fuzzy timed Petri nets [My Copy] Fuzzy Sets and Systems, Vol. 140, No. 2. (1 December 2003), pp. 301-330. by Witold Pedrycz, Heloisa Camargo posted to no-tag by samsalisbury on 2008-01-21 12:49:45 as
	Formulating and solving optimization problems using stochastic timed Petri nets [My Copy] Microelectronics and Reliability, Vol. 31, No. 4. (1991), pp. 769-792. by Po-Zung Chen, Steven C. Bruell, Giafranco Balbo posted to no-tag by samsalisbury on 2008-01-21 12:48:56 as
	Fault-tolerant software reliability modeling using Petri nets [My Copy] Microelectronics and Reliability, Vol. 31, No. 4. (1991), pp. 645-667. by Shao-Wei Leu, Eduardo B. Fernandez, Taghi Khoshgoftaar posted to petri by samsalisbury on 2008-01-21 12:48:27 as
	Embedded product-form queueing networks and the improvement of performance bounds for Petri net systems [My Copy] Performance Evaluation, Vol. 18, No. 1. (July 1993), pp. 3-19. by Javier Campos, Manuel Silva posted to no-tag by samsalisbury on 2008-01-21 12:47:41 as
	Dynamic sequencing of robot moves in a manufacturing cell [My Copy] European Journal of Operational Research, Vol. 69, No. 3. (24 September 1993), pp. 482-497. by Shu-Chu Liu, Li Lin posted to no-tag by samsalisbury on 2008-01-21 12:46:41 as
	Simulation and analysis of discrete-event control systems based on Petri nets using PNetLab [My Copy] Control Engineering Practice, Vol. 15, No. 2. (February 2007), pp. 241-259. by Francesco Basile, Ciro Carbone, Pasquale Chiacchio posted to no-tag by samsalisbury on 2008-01-21 12:37:02 as along with 1 person fernand0
	A [beta]-distributed stochastic petri net model for software project time/cost management [My Copy] Journal of Systems and Software, Vol. 26, No. 2. (August 1994), pp. 149-165. by Gang-Soo Lee, Tadao Murata posted to no-tag by samsalisbury on 2008-01-21 12:36:04 as
	A theory of implementation and refinement in timed Petri nets [My Copy] Theoretical Computer Science, Vol. 202, No. 1-2. (28 July 1998), pp. 127-161. by Miguel Felder, Angelo Gargantini, Angelo Morzenti posted to no-tag by samsalisbury on 2008-01-21 12:34:41 as
	A Petri net-based integrated control and scheduling scheme for flexible manufacturing cells [My Copy] Computer Integrated Manufacturing Systems, Vol. 10, No. 2. (May 1997), pp. 109-122. by James T. Lin, Chia-Chu Lee posted to no-tag by samsalisbury on 2008-01-21 12:34:17 as
	A Petri net based methodology to integrate qualitative and quantitative analysis [My Copy] Information and Software Technology, Vol. 36, No. 7. (July 1994), pp. 435-441. by Monika Heiner, Giorgio Ventre, Dietmar Wikarski posted to no-tag by samsalisbury on 2008-01-21 12:33:57 as
	A generalized stochastic high-level Petri net model for performance analysis [My Copy] Journal of Systems and Software, Vol. 36, No. 3. (March 1997), pp. 247-265. by Samir M. Koriem, L. M. Patnaik posted to no-tag by samsalisbury on 2008-01-21 12:32:59 as
	A brief survey and synthesis of the roles of time in petri nets [My Copy] Mathematical and Computer Modelling, Vol. 31, No. 10-12. ( 2000), pp. 55-68. by F. D. J. Bowden posted to no-tag by samsalisbury on 2008-01-21 12:30:37 as
	Fuzzy timed petri net definitions, properties, and applications [My Copy] Mathematical and Computer Modelling, Vol. 41, No. 2-3. ( 2005), pp. 345-360. by Zouhua Ding, H. Bunke, M. Schneider, A. Kandel posted to no-tag by samsalisbury on 2008-01-21 12:29:51 as
	Continuous and timed Petri nets for the macroscopic and microscopic traffic flow modelling [My Copy] Simulation Modelling Practice and Theory, Vol. 13, No. 5. (July 2005), pp. 407-436. by C. Tolba, D. Lefebvre, P. Thomas, El A. Moudni posted to continuous modelling nets petri by samsalisbury on 2008-01-21 12:27:18 as
	Processes of timed Petri nets [My Copy] Theoretical Computer Science, Vol. 243, No. 1-2. (28 July 2000), pp. 1-34. by Jozef Winkowski posted to no-tag by samsalisbury on 2008-01-18 15:33:50 as
	Petri nets: Properties, analysis and applications [My Copy] Proceedings of the IEEE In Proceedings of the IEEE, Vol. 77, No. 4. (1989), pp. 541-580. by T. Murata posted to no-tag by samsalisbury on 2008-01-18 15:28:21 as along with 9 people and 2 groups kabookie alexloh80 tautologico kayani balicea ddahlem mattjb mhakami abellogin ComplexAdaptiveSystems DSTO-CAS
	Petri nets and algebraic specifications [My Copy] Theoretical Computer Science, Vol. 80, No. 1. (21 March 1991), pp. 1-34. by Wolfgang Reisig posted to no-tag by samsalisbury on 2008-01-18 15:22:51 as